diff options
Diffstat (limited to 'ide/ideproof.ml')
| -rw-r--r-- | ide/ideproof.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/ideproof.ml b/ide/ideproof.ml index c84887d1aa..701203061f 100644 --- a/ide/ideproof.ml +++ b/ide/ideproof.ml @@ -89,7 +89,7 @@ let mode_cesar (proof:GText.view) = function let display mode (view:GText.view) goals = view#buffer#set_text ""; match goals with - | Ide_blob.Message msg -> + | Ide_intf.Message msg -> view#buffer#insert msg - | Ide_blob.Goals g -> + | Ide_intf.Goals g -> mode view g |