From c0c0516338b5becba5df28f62c323c9489f9f2c7 Mon Sep 17 00:00:00 2001 From: Matteo Selmi Date: Wed, 17 Nov 2004 11:13:46 +0000 Subject: [PATCH] Bug fix --- helm/ocaml/metadata/metadataConstraints.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml index 2ebd46c2a..5dcfae44d 100644 --- a/helm/ocaml/metadata/metadataConstraints.ml +++ b/helm/ocaml/metadata/metadataConstraints.ml @@ -494,7 +494,7 @@ let cmatch ~(dbd:Mysql.dbd) ?(facts=false) t = else Some main, [0, []; types_no, types]) else - prefixes (constants_no+types_no) t + prefixes (constants_no+types_no+1) t in (match prefixes with Some main, all_concl -> -- 2.39.2