diff options
Diffstat (limited to 'users/grfn/achilles/ach/simple.ach')
| -rw-r--r-- | users/grfn/achilles/ach/simple.ach | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/users/grfn/achilles/ach/simple.ach b/users/grfn/achilles/ach/simple.ach deleted file mode 100644 index 20f1677235c0..000000000000 --- a/users/grfn/achilles/ach/simple.ach +++ /dev/null @@ -1 +0,0 @@ -fn main = let x = 2; y = 3 in x + y |