diff options
Diffstat (limited to 'src/trace/smtMisc.ml')
| -rw-r--r-- | src/trace/smtMisc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/smtMisc.ml b/src/trace/smtMisc.ml index 92f0f09..607ebe7 100644 --- a/src/trace/smtMisc.ml +++ b/src/trace/smtMisc.ml @@ -46,7 +46,7 @@ type logic_item = module SL = Set.Make (struct type t = logic_item - let compare = Pervasives.compare + let compare = Stdlib.compare end) type logic = SL.t |