From 8af9dbdcc27934deda35f6c8fbdecdfe869b09c5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 4 Mar 2020 14:29:10 -0500
Subject: [micromega] Add numerical compatibility layer.

Only significant change is in gcd / lcm which now are typed in `Z.t`
---
 plugins/micromega/persistent_cache.ml | 6 +++---
 1 file changed, 3 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 d5b28cb03e..4777b5e231 100644
--- a/plugins/micromega/persistent_cache.ml
+++ b/plugins/micromega/persistent_cache.ml
@@ -82,9 +82,9 @@ module PHashtable (Key : HashedType) : PHashtable with type key = Key.t = struct
     with Unix.Unix_error (_, _, _) ->
       ()
       (* Here, this is really bad news --
-       there is a pending lock which could cause a deadlock.
-       Should it be an anomaly or produce a warning ?
-    *);
+         there is a pending lock which could cause a deadlock.
+         Should it be an anomaly or produce a warning ?
+      *);
       ignore (lseek fd pos SEEK_SET)
 
   (* We make the assumption that an acquired lock can always be released *)
-- 
cgit v1.2.3