From 999209f5574378a68b321f1490411c8aeb211699 Mon Sep 17 00:00:00 2001 From: pimjager Date: Thu, 26 May 2016 14:14:20 +0200 Subject: [PATCH] Fixed Markus example --- examples/Markus/polymorphic_value_again_shouldfail.spl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/Markus/polymorphic_value_again_shouldfail.spl b/examples/Markus/polymorphic_value_again_shouldfail.spl index 0381134..ade01e1 100644 --- 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; } -- 2.20.1