From faa94a3579219cbb877787f7208cac06d1a790e7 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Mon, 2 Apr 2012 15:09:11 +0200 Subject: [PATCH] Silence compiler warning about unused variables. --- src/runtime.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/runtime.ml b/src/runtime.ml index 67d7f43..ab30f27 100644 --- 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 -- 2.17.1