From 90d64647d3fd5dbf5c337944dc0038f0b19b8a51 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 17 Jun 2014 14:26:02 +0200
Subject: Removing dead code.

---
 plugins/firstorder/instances.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'plugins/firstorder')

diff --git a/plugins/firstorder/instances.ml b/plugins/firstorder/instances.ml
index 11b120c415..076107450b 100644
--- a/plugins/firstorder/instances.ml
+++ b/plugins/firstorder/instances.ml
@@ -21,7 +21,6 @@ open Reductionops
 open Formula
 open Sequent
 open Names
-open Globnames
 open Misctypes
 
 let compare_instance inst1 inst2=
-- 
cgit v1.2.3