Remove invalid comment.

septract · Mar 9, 2017 · 25984d3 · 25984d3
1 parent edb7470
commit 25984d3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Grasshopper.fs b/Grasshopper.fs
@@ -396,7 +396,6 @@ let findTermVars (term : Backends.Z3.Types.ZTerm)
 
     let goalAndWPreVarsR = lift2 Set.union goalVarsL wPreVarsL
 
-    // Remember, traversing a list of lists of microcode!  (Oh the humanity.)
     let cmdVarsT =
         tchainL
             (traverseMicrocode