X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=hcons.ml;h=7bc8823b2dfd5020296a0a4e520f5db96c3d406c;hb=bf2b1a91300ace1e7e83bd78f868a269d86498f9;hp=637a60d9b39b3aa946621518db98038e2259d4ce;hpb=92fa1dfd894ed2903541d665bd40919ae154f285;p=SXSI%2Fxpathcomp.git

diff --git a/hcons.ml b/hcons.ml
index 637a60d..7bc8823 100644
--- a/hcons.ml
+++ b/hcons.ml
@@ -52,6 +52,7 @@ struct
       WH.merge pool cell
 
   exception Found of t
+
   let with_id id = 
     try
       WH.iter (fun r -> if r.id == id then raise (Found r))  pool;