Commits

Scott West committed b8dda98

Removing old commented code.

Comments (0)

Files changed (1)

examples/monad/func_and_array.hs

        elsePart' <- getInt elsePart
        return (fs', elsePart')
 
-arrayScript :: Z3 (RetType, RetType)  -- Map (Int, Int) Int)
+arrayScript :: Z3 (RetType, RetType)
 arrayScript =
     do intSort <- mkIntSort
        arrSort <- mkArraySort intSort intSort