Testing

Robert-M-Lucas · Jun 7, 2024 · a53da1c · a53da1c
1 parent 2617026
commit a53da1c
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 17 deletions.
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
diff --git 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;
     }
 }