Commit 170d2652 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Small bug fixed

parent 83e9f4ab
......@@ -174,7 +174,7 @@ copyIncludeIfPresent docdir inclfile = do
-- read and generate all analysis infos:
readAnaInfo modname = do
nondet <- analyzeInterface ndAnalysis modname >>= stopIfError
nondet <- analyzeInterface nondetAnalysis modname >>= stopIfError
complete <- analyzeInterface patCompAnalysis modname >>= stopIfError
indet <- analyzeInterface indetAnalysis modname >>= stopIfError
solcomp <- analyzeInterface solcompAnalysis modname >>= stopIfError
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment