From 9f622c3920885fb10069f90b51c1f22b355c0334 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr> Date: Tue, 22 Sep 2015 13:19:49 +0200 Subject: [PATCH] Re-established an assertion. Comment. --- src/LRijkstra.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/LRijkstra.ml b/src/LRijkstra.ml index 1fe0c700d..b063a5800 100644 --- a/src/LRijkstra.ml +++ b/src/LRijkstra.ml @@ -34,6 +34,9 @@ Thus, in principle, we work with ``real'' terminal symbols only. However, we encode [any] as [#] -- see below. *) +(* NOTE: THIS FILE IS COMPILED WITH -noassert BY DEFAULT. If you would like + the assertions to be tested at runtime, change that in the file _tags. *) + (* ------------------------------------------------------------------------ *) (* To delay the side effects performed by this module, we wrap everything in @@ -568,7 +571,7 @@ end = struct MySet.Make(struct type t = fact let compare fact1 fact2 = - (* assert (fact1.lookahead = fact2.lookahead); *) + assert (fact1.lookahead = fact2.lookahead); let c = Trie.compare fact1.position fact2.position in if c <> 0 then c else let z = fact1.lookahead in -- GitLab