From a53da1cd79b0479dc984d1d5ec1d73a6961a05d9 Mon Sep 17 00:00:00 2001 From: Robert-M-Lucas Date: Fri, 7 Jun 2024 22:03:52 +0100 Subject: [PATCH] Testing --- .idea/workspace.xml | 29 +++++++++++++---------------- main.why | 2 +- 2 files changed, 14 insertions(+), 17 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index b390df2..ff53f32 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -7,20 +7,8 @@ - - - - - - - + - - - - - - @@ -365,6 +361,7 @@ - \ No newline at end of file diff --git a/main.why b/main.why index f6d4c83..af803de 100644 --- a/main.why +++ b/main.why @@ -1,7 +1,7 @@ impl int { fn sub(lhs: int, rhs: int) -> int { - return lhs + rhs; + return lhs + rhs + rhs; } }