git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Ast: Remove functions which were moved to Eval module.
[goals.git]
/
src
/
run.ml
diff --git
a/src/run.ml
b/src/run.ml
index
0290124
..
2e36d1b
100644
(file)
--- a/
src/run.ml
+++ b/
src/run.ml
@@
-161,7
+161,7
@@
and needs_rebuild env loc deps extra_deps pattern =
* should be called with env containing the goal params, this
* should substitute any parameters in the tactic arguments.
*)
* should be called with env containing the goal params, this
* should substitute any parameters in the tactic arguments.
*)
- let targs = List.map (
Ast
.substitute env loc) targs in
+ let targs = List.map (
Eval
.substitute env loc) targs in
let targs =
List.map (fun targ ->
Ast.EConstant (Ast.noloc, Ast.CString targ)) targs in
let targs =
List.map (fun targ ->
Ast.EConstant (Ast.noloc, Ast.CString targ)) targs in