Fixed Markus example

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

diff --git a/examples/Markus/polymorphic_value_again_shouldfail.spl b/examples/Markus/polymorphic_value_again_shouldfail.spl
index 0381134..ade01e1 100644 (file)
--- a/examples/Markus/polymorphic_value_again_shouldfail.spl
+++ b/examples/Markus/polymorphic_value_again_shouldfail.spl
@@ -5,7 +5,7 @@ tuple1() { return (1:[], True:[]); }
 
 // This should fail.
 l() { return [];}
-tuple2() { return (1:l, True:l);}
+tuple2() { return (1:l(), True:l());}
 
 
 main() { return; }