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; } }