Silence compiler warning about unused variables.

diff --git a/src/runtime.ml b/src/runtime.ml
index 67d7f43..ab30f27 100644 (file)
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -103,7 +103,7 @@ module Make (U : ResJIT.S) : S with type result_set = U.NS.t =
          in
          let ns1 = StateSet.inter s1 orig_s1
          and ns2 = StateSet.inter s2 orig_s2 in
-         let res, ops, todo = eval_trans auto orig_s1 orig_s2 trl in
+         let res, ops, todo = eval_trans auto ns1 ns2 trl in
          let code, not_marking = ResJIT.compile ops in
          let todo_code, todo_notmarking =
            List.fold_left (fun (l, b) (p, q, o) -> let c, b' = ResJIT.compile o in
@@ -484,14 +484,11 @@ let dispatch_param1 conf id2 y0 y1 =
       let res_len = (StateSet.max_elt auto.states) + 1 in
       let empty_slot = Array.create res_len U.NS.empty in
       let nil_res = mk_nil auto.bottom_states empty_slot in
-      let empty_res = mk_empty (StateSet.empty, empty_slot) in
       let cache3 = L3JIT.create () in
       let dummy2 = (StateSet.empty, StateSet.empty, Translist.nil) in
       let cache2 = Cache.Lvl2.create 512 dummy2 in
       let rule_counter = ref 0 in
       let preorder_counter = ref 0 in
-      let dcache = DCache.create 1023 in
-      let ucache = UCache.create 1023 in
       let term_array = [| StateSet.empty; StateSet.empty |] in
       let get_trans tag states =
        let c = Cache.Lvl2.find cache2 tag (Uid.to_int states.StateSet.Node.id) in