44 lines
937 B
Diff
44 lines
937 B
Diff
From 70a33ab6500b35c3d73662ece8de32126f3572ac Mon Sep 17 00:00:00 2001
|
|
From: Xavier Clerc <xclerc@janestreet.com>
|
|
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 =
|