Commit 8e7f3d1f authored by Christian Müller's avatar Christian Müller

type

parent 13f32f76
......@@ -48,7 +48,7 @@ object TransitionSystemParser extends RegexParsers
val predicates = allpredicates(infered)
checkSig(sig, predicates)
} => {
val axiomlist = if (axioms.isDefined) axioms.get else List()
val axiomlist = axioms.toList.flatten
val infered = blocks.map(ParserUtils.inferTypeFromSig(sig, _))
val ts = TransitionSystem(sig, infered)
InvariantSpec(
......
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