From 90aab584680d4fab9286eafe0a2e918df8889c53 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 25 Nov 2011 16:18:00 +0000
Subject: Separated the toplevel interface into a purely declarative module
 with associated types (interface.mli), and an applicative part processing the
 calls (previous ide_intf).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14730 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/command_windows.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ide/command_windows.ml')

diff --git a/ide/command_windows.ml b/ide/command_windows.ml
index 0d0894213e..9792d8782f 100644
--- a/ide/command_windows.ml
+++ b/ide/command_windows.ml
@@ -103,9 +103,9 @@ object(self)
       try
         result#buffer#set_text
           (match Coq.interp coqtop ~raw:true phrase with
-             | Ide_intf.Fail (l,str) ->
+             | Interface.Fail (l,str) ->
                  ("Error while interpreting "^phrase^":\n"^str)
-             | Ide_intf.Good results ->
+             | Interface.Good results ->
                  ("Result for command " ^ phrase ^ ":\n" ^ results))
       with e ->
 	let s = Printexc.to_string e in
-- 
cgit v1.2.3