From 1bbeba35eb385f813a0e4b6d25a437f9bab8191b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 18 Jun 2018 14:32:58 +0200
Subject: Fixing a batch of deprecation warnings.

---
 src/tac2intern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2intern.ml')

diff --git a/src/tac2intern.ml b/src/tac2intern.ml
index 75fca938f4..86d81ef5d2 100644
--- a/src/tac2intern.ml
+++ b/src/tac2intern.ml
@@ -12,7 +12,7 @@ open CAst
 open CErrors
 open Names
 open Libnames
-open Misctypes
+open Locus
 open Tac2env
 open Tac2print
 open Tac2expr
-- 
cgit v1.2.3