Skip to content
Snippets Groups Projects
Commit 54663046 authored by dohan's avatar dohan
Browse files

change order of statements

parent 2fd8d3be
No related branches found
No related tags found
No related merge requests found
......@@ -149,9 +149,8 @@ public class TestUtil {
}
public static TLCResult testString(String machineString) throws IOException {
String[] args = new String[] { machineString };
String runnerClassName = TLC4BRunnerTestString.class.getCanonicalName();
String[] args = new String[] { machineString };
return runTLC(runnerClassName, args);
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment