From b6feaafc7602917a8ef86fb8adc9651ff765e710 Mon Sep 17 00:00:00 2001
From: Matej Košík
Date: Mon, 29 May 2017 11:02:06 +0200
Subject: Remove (useless) aliases from the API.

---
 plugins/fourier/fourierR.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'plugins/fourier')

diff --git a/plugins/fourier/fourierR.ml b/plugins/fourier/fourierR.ml
index 2af79aec9b..b44307590e 100644
--- a/plugins/fourier/fourierR.ml
+++ b/plugins/fourier/fourierR.ml
@@ -77,8 +77,8 @@ let flin_emult a f =
 type ineq = Rlt | Rle | Rgt | Rge
 
 let string_of_R_constant kn =
-  match Names.repr_con kn with
-    | MPfile dir, sec_dir, id when
+  match Constant.repr3 kn with
+    | ModPath.MPfile dir, sec_dir, id when
 	sec_dir = DirPath.empty &&
 	DirPath.to_string dir = "Coq.Reals.Rdefinitions"
 	-> Label.to_string id
-- 
cgit v1.2.3