From: pimjager <pim@pimjager.nl>
Date: Thu, 26 May 2016 12:14:20 +0000 (+0200)
Subject: Fixed Markus example
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=999209f5574378a68b321f1490411c8aeb211699;p=cc1516.git

Fixed Markus example
---

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