ding

[cc1516.git] / examples / Markus / identity(2).spl

diff --git a/examples/Markus/identity(2).spl b/examples/Markus/identity(2).spl
index b06167a..04ff196 100644 (file)
--- 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