Commit c84931a7 authored by Lars Schieffer's avatar Lars Schieffer
Browse files

fix typo in README

parent b97338b1
......@@ -101,7 +101,7 @@ Add values to uninitialized constants in jani-model, e.g. --experiment "C=42, D=
### --real2int
Cast real variables in jani-model to integer (Warning: Can break jani-models)
Cast real variables in jani-model to integer (Warning: Can break model behaviour)
### --disableCheck
......
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