X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.ml;h=e32812bbb9d3a17b0ec6a175205316dcf2813b1a;hb=c0b6bf74a7df6f1c8951525cab015fda4c788a9d;hp=c355f5e35edbec206adfd2fa0c76aafe0735b5b3;hpb=a84e4fba7daf4f600958487d88f0b733fb19042e;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.ml b/src/runtime.ml
index c355f5e..e32812b 100644
--- 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