From 510c85a7b9c85466eb6c977fd64a3accd59d3eac Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Mon, 2 Mar 2020 18:47:56 +0100
Subject: [PATCH] Fix bug in alpaga
---
alpaga/ll_parser.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/alpaga/ll_parser.ml b/alpaga/ll_parser.ml
index de583e6..12520e6 100644
--- a/alpaga/ll_parser.ml
+++ b/alpaga/ll_parser.ml
@@ -72,7 +72,8 @@ let follow_nt (toks,nts,rules) (n: string) : bool =
then follow (fst x)
else Set.empty) (first_prod (toks,nts,rules) (snd x))) l in
let l = List.fold_left Set.union Set.empty l in
- Hashtbl.add followt n l; old <> l
+ Hashtbl.add followt n l;
+ not (Set.equal old l)
let follow_all_nt (toks,nts,rules) () = apply_on_all (follow_nt (toks,nts,rules)) nts
--
GitLab