From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 29 Oct 2010 20:59:56 +0000 (+0000)
Subject: Bug fixed: a missing eta-expansion raised an assert false
X-Git-Tag: make_still_working~2754
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=363029e1896e843adc102d4fda4b2f4ac434eaa9;p=helm.git

Bug fixed: a missing eta-expansion raised an assert false
---

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index 7f2cb952c..a2f03e056 100644
--- a/matita/matita/matitaGui.ml
+++ b/matita/matita/matitaGui.ml
@@ -856,10 +856,10 @@ class gui () =
           | false -> main#toplevel#unfullscreen ());
       main#fullscreenMenuItem#set_active false;
       MatitaGtkMisc.toggle_callback ~check:main#ppNotationMenuItem
-        ~callback:(
+        ~callback:(function b ->
           let s = s () in
           let status =
-           Interpretations.toggle_active_interpretations s#grafite_status
+           Interpretations.toggle_active_interpretations s#grafite_status b
           in
            assert false (* MATITA1.0 ???
            s#set_grafite_status status*)