From 70a33ab6500b35c3d73662ece8de32126f3572ac Mon Sep 17 00:00:00 2001 From: Xavier Clerc Date: Mon, 13 Aug 2018 12:56:37 +0100 Subject: [PATCH] Change the order of `open`s so that `Format.dprintf` does not shadow `Log.dprintf`. --- src/main.ml | 2 +- src/solver.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main.ml b/src/main.ml index 55155a7..c0b8772 100644 --- a/src/main.ml +++ b/src/main.ml @@ -14,12 +14,12 @@ (* Original author: Berke Durak *) open My_std +open Format open Log open Pathname.Operators open Command open Tools open Ocaml_specific -open Format ;; exception Exit_build_error of string diff --git a/src/solver.ml b/src/solver.ml index 9895a11..c0b7d06 100644 --- a/src/solver.ml +++ b/src/solver.ml @@ -14,8 +14,8 @@ (* Original author: Nicolas Pouillard *) open My_std -open Log open Format +open Log open Outcome type backtrace =