Skip to content
Snippets Groups Projects
Commit 359020e7 authored by tempiaa's avatar tempiaa
Browse files

Solved fallthrough

parent adbaebfa
Branches debugZ3
No related tags found
1 merge request!331Solved fallthrough
...@@ -728,6 +728,7 @@ public class Action extends Command { ...@@ -728,6 +728,7 @@ public class Action extends Command {
case "-c": case "-c":
//concurrency //concurrency
amc.setIgnoreConcurrenceBetweenInternalActions(false); amc.setIgnoreConcurrenceBetweenInternalActions(false);
break;
default: default:
return Interpreter.BAD; return Interpreter.BAD;
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment