aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/session.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ide/session.mli')
-rw-r--r--ide/session.mli1
1 files changed, 0 insertions, 1 deletions
diff --git a/ide/session.mli b/ide/session.mli
index ef39ab2e0..028a1f9de 100644
--- a/ide/session.mli
+++ b/ide/session.mli
@@ -14,7 +14,6 @@ class type ['a] page =
inherit GObj.widget
method update : 'a -> unit
method on_update : callback:('a -> unit) -> unit
- method refresh_color : unit -> unit
method data : 'a
end