Commit 1ddafca4 authored by POTTIER Francois's avatar POTTIER Francois

Enable backward search too (for now).

parent e3ad7043
......@@ -497,15 +497,13 @@ let facts = ref 0
let discover fact =
if T.register fact then begin
(* TEMPORARY
(*
incr facts;
Printf.fprintf stderr "Facts = %d, current length = %d\n%!"
!facts (W.length fact.word);
Printf.fprintf stderr "New fact:\n";
print_fact fact;
*)
*)
consequences fact
end
......@@ -764,7 +762,6 @@ let backward s' : W.word option =
(* Test. TEMPORARY *)
let () =
if false then
Lr1.iter (fun s' ->
begin match backward s' with
| None ->
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment