From 19688fcd1b99dae377f908529d3fed3804e95068 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Mon, 3 Mar 2014 17:49:30 +0100 Subject: Fixing some generic equalities in Micromega. --- plugins/micromega/persistent_cache.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'plugins/micromega/persistent_cache.ml') diff --git a/plugins/micromega/persistent_cache.ml b/plugins/micromega/persistent_cache.ml index 39a1b82b0..a6a45d6ec 100644 --- a/plugins/micromega/persistent_cache.ml +++ b/plugins/micromega/persistent_cache.ml @@ -12,7 +12,6 @@ (* *) (************************************************************************) - module type PHashtable = sig type 'a t @@ -172,7 +171,7 @@ let close t = let add t k e = let {outch = outch ; status = status ; htbl = tbl} = t in - if status = Closed + if status == Closed then raise UnboundTable else let fd = descr_of_out_channel outch in @@ -187,7 +186,7 @@ let add t k e = let find t k = let {outch = outch ; status = status ; htbl = tbl} = t in - if status = Closed + if status == Closed then raise UnboundTable else let res = Table.find tbl k in -- cgit v1.2.3