Commit e3c33ea1 authored by POTTIER Francois's avatar POTTIER Francois


parent d02c136c
......@@ -409,6 +409,10 @@ let extend fact target sym w z =
let new_edge s nt w z =
Printf.fprintf stderr "Considering reduction on %s in state %d\n"
(Terminal.print z) (Lr1.number s);
if E.register s nt w z then
let sym = (Symbol.N nt) in
let s' = try SymbolMap.find sym (Lr1.transitions s) with Not_found -> assert false in
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment