X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FMarkus%2Fidentity%282%29.spl;h=04ff1964270180a57a369e9a509e3018f3d96505;hb=39f7799760a30737f57fb2b8ccdb15074ee9ac45;hp=b06167aef1e19dd0a18cd0ef0309bd52f5c31b26;hpb=d81ba67093ba9f7a9c2f6d47ec51651f99b4b5b3;p=cc1516.git

diff --git a/examples/Markus/identity(2).spl b/examples/Markus/identity(2).spl
index b06167a..04ff196 100644
--- a/examples/Markus/identity(2).spl
+++ b/examples/Markus/identity(2).spl
@@ -6,13 +6,13 @@ id_int(x) :: Int -> Int
 {
   return x;
 }//
-//
+////
 
 // Polymorphic identity with type signature
 id_poly_with(x) :: a -> a
 {
   return x;
-}////
+}//////
 
 
 // Polymorphic identity without type signature