1 files changed, 4 insertions, 7 deletions
diff --git a/ide/session.mli b/ide/session.mli
index 737b6d10de..3ed1b1ee3e 100644
--- a/ide/session.mli
+++ b/ide/session.mli
@@ -9,17 +9,14 @@
 (** A session is a script buffer + proof + messages,
     interacting with a coqtop, and a few other elements around *)
 
-class type errpage =
+class type ['a] page =
   object
     inherit GObj.widget
-    method update : (int * string) list -> unit
+    method update : 'a -> unit
   end
 
-class type jobpage =
-  object
-    inherit GObj.widget
-    method update : string Int.Map.t -> unit
-  end
+type errpage = (int * string) list page
+type jobpage = string Int.Map.t page
 
 type session = {
   buffer : GText.buffer;