diff options
Diffstat (limited to 'ide/coq.ml')
| -rw-r--r-- | ide/coq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index 89129b8c3..aea560eed 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -119,7 +119,7 @@ let is_in_loadpath coqtop s = eval_call coqtop (Ide_intf.is_in_loadpath s) let raw_interp coqtop s = eval_call coqtop (Ide_intf.raw_interp s) -let interp coqtop b s = eval_call coqtop (Ide_intf.interp b s) +let interp coqtop b s = eval_call coqtop (Ide_intf.interp (b,s)) let rewind coqtop i = eval_call coqtop (Ide_intf.rewind i) |