Commits

Iago Abal  committed 3481e3a Merge

Merge commit b8dda985683c

  • Participants
  • Parent commits 71b0274, b8dda98

Comments (0)

Files changed (1)

File examples/monad/FuncModel.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