From bebf8987beb50f4bc0bd57af57983971102bddad Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 17 May 2012 11:40:37 +0000 Subject: [PATCH] ... --- matita/components/ng_tactics/nnAuto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml index 890f6c035..d492b1cb4 100644 --- a/matita/components/ng_tactics/nnAuto.ml +++ b/matita/components/ng_tactics/nnAuto.ml @@ -28,7 +28,7 @@ module RHT = struct type t = NReference.reference let equal = NReference.eq let compare = NReference.compare - let hash = NReferecne.hash + let hash = NReference.hash end;; module RefHash = Hashtbl.Make(RHT);; -- 2.39.2