ding

[cc1516.git] / examples / Markus / multiple_recursion.spl

diff --git a/examples/Markus/multiple_recursion.spl b/examples/Markus/multiple_recursion.spl
index bfe6701..1810a03 100644 (file)
--- a/examples/Markus/multiple_recursion.spl
+++ b/examples/Markus/multiple_recursion.spl
@@ -8,3 +8,7 @@ flip(n, l) :: Int -> [Int] -> [Int] {
 flop(n, l) {
   return flip(n, 1:l);
 }
+
+main() {
+       return 0;
+}