misspelled predicate in model_translation.pl
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Fixed
Details
Details
Assignee
Sebastian KringsReporter
Jens BendispostoPriority
TrivialCreated July 28, 2015 at 1:55 PM
Updated August 3, 2015 at 8:50 AM
Resolved August 3, 2015 at 8:50 AM
line 72, probably this should be z3_ground_result instead of ground_result