diff options
Diffstat (limited to 'ide/session.ml')
-rw-r--r-- | ide/session.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/session.ml b/ide/session.ml index c42ed98da..9b7986ed4 100644 --- a/ide/session.ml +++ b/ide/session.ml @@ -234,7 +234,7 @@ let create file coqtop_args = let proof = create_proof () in let messages = create_messages () in let command = new Wg_Command.command_window basename coqtop in - let finder = new Wg_Find.finder (script :> GText.view) in + let finder = new Wg_Find.finder basename (script :> GText.view) in let fops = new FileOps.fileops (buffer :> GText.buffer) file reset in let _ = fops#update_stats in let cops = |