cw5_marking/c3.sc
changeset 977 7a02c5b9e0df
equal deleted inserted replaced
976:4be299d9b41b 977:7a02c5b9e0df
       
     1 // for testing compilation
       
     2 
       
     3 import $file.cw051_add
       
     4 import cw051_add._
       
     5 
       
     6 val mand = os.read(os.pwd / "mand.fun")
       
     7 
       
     8 test_string(mand, "mand")
       
     9