Ast: Rename ECallTactic to ETacticConstructor.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 2 Jan 2020 15:59:48 +0000 (15:59 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 2 Jan 2020 16:02:15 +0000 (16:02 +0000)
commit87e6a2f2a8d79dd10b17f3647dffb3774f0d582f
tree5e4fbca662c600e63df76ad96dc8ad85dccff58b
parent266aac664780e39712228dd70a8e11465298713b
Ast: Rename ECallTactic to ETacticConstructor.

This is a constructor, it's not 'calling' anything.
src/ast.ml
src/ast.mli
src/eval.ml
src/parser.mly