Fixed Markus example
authorpimjager <pim@pimjager.nl>
Thu, 26 May 2016 12:14:20 +0000 (14:14 +0200)
committerpimjager <pim@pimjager.nl>
Thu, 26 May 2016 12:14:20 +0000 (14:14 +0200)
commit999209f5574378a68b321f1490411c8aeb211699
tree21ab80b0fa4bf64a77b9dba8c8a6fd5e41e965cf
parent714af3007a284a4a9f5f820dc6f26a45034da47e
Fixed Markus example
examples/Markus/polymorphic_value_again_shouldfail.spl