Commit 65a10e71 authored by Pietro Braghieri's avatar Pietro Braghieri
Browse files

fix wrong cmd option -ocra-timed-discrete

parent abe2377e
...@@ -68,7 +68,7 @@ public class OcraRunner extends ToolRunner ...@@ -68,7 +68,7 @@ public class OcraRunner extends ToolRunner
} }
else if( ((OcraFunction)toolFunction).isTimed() ) else if( ((OcraFunction)toolFunction).isTimed() )
{ {
cmdArray.add("-ocra-timed-domain"); cmdArray.add("-ocra-timed");
} }
if( ((OcraFunction)toolFunction).getDisableAsyncConstraints() != null && if( ((OcraFunction)toolFunction).getDisableAsyncConstraints() != null &&
......
Supports Markdown
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