Add backward moves in the syntax of the automaton.

[SXSI/xpathcomp.git] / src / runtime.ml

diff --git a/src/runtime.ml b/src/runtime.ml
index c355f5e..e32812b 100644 (file)
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -24,6 +24,7 @@ module Make (U : ResJIT.S) : S with type result_set = U.NS.t =
          | Formula.Atom (`Right, b, q) ->
              Formula.of_bool(b == (StateSet.mem q s2)),
              if b && StateSet.mem q auto.topdown_marking_states then [ResJIT.RIGHT q] else []
+         | Formula.Atom (`Epsilon, _, _) -> assert false
 
          | Formula.Or(f1, f2) ->
              let b1, i1 = loop f1 in