driver: remove mention of GAS-ANALYZE mode

runtimeverification · Apr 14, 2019 · e7af270 · e7af270
1 parent f32d930
commit e7af270
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/driver.md b/driver.md
@@ -72,9 +72,8 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a
 ```{.k .standalone}
     syntax EthereumCommand ::= "start"
  // ----------------------------------
-    rule <mode> NORMAL     </mode> <k> start => #execute    ... </k>
-    rule <mode> VMTESTS    </mode> <k> start => #execute    ... </k>
-    rule <mode> GASANALYZE </mode> <k> start => #gasAnalyze ... </k>
+    rule <mode> NORMAL  </mode> <k> start => #execute ... </k>
+    rule <mode> VMTESTS </mode> <k> start => #execute ... </k>
 
     syntax EthereumCommand ::= "flush"
  // ----------------------------------