From 8018e923c75eb5504310864f821972f794b7d554 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Wed, 13 Feb 2019 20:40:51 -0500
Subject: New upstream version 8.8.0+1.gbp069dc3b

---
 helper.ml | 41 -----------------------------------------
 1 file changed, 41 deletions(-)
 delete mode 100644 helper.ml

(limited to 'helper.ml')

diff --git a/helper.ml b/helper.ml
deleted file mode 100644
index 636b17f..0000000
--- a/helper.ml
+++ /dev/null
@@ -1,41 +0,0 @@
-(***************************************************************************)
-(*  This is part of aac_tactics, it is distributed under the terms of the  *)
-(*         GNU Lesser General Public License version 3                     *)
-(*              (see file LICENSE for more details)                        *)
-(*                                                                         *)
-(*       Copyright 2009-2010: Thomas Braibant, Damien Pous.                *)
-(***************************************************************************)
-
-module type CONTROL = sig
-  val debug : bool
-  val time : bool
-  val printing : bool
-end
-
-module Debug (X : CONTROL) = struct
-  open X
-  let debug x =
-    if debug then
-      Printf.printf "%s\n%!" x
-
-
-  let time f x fmt =
-    if time then
-      let t = Sys.time () in
-      let r = f x in
-	Printf.printf fmt  (Sys.time () -. t);
-	r
-    else f x
-
-  let pr_constr msg constr =
-    if printing then
-      (  Feedback.msg_notice (Pp.str (Printf.sprintf "=====%s====" msg));
-	 Feedback.msg_notice (Printer.pr_constr constr);
-      )
-
-
-  let debug_exception msg e =
-    debug (msg ^ (Printexc.to_string e))
-     
-
-end
-- 
cgit v1.2.3