diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-06 14:06:59 -0400 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-06 14:06:59 -0400 |
| commit | 7a9462ce9a3d70ca43c363da3a0782f59c16a120 (patch) | |
| tree | e2b86b992307e3322cbd862048c6ec06075eee9d /stm/vernac_classifier.ml | |
| parent | 845dd3dd17b880999a956839c0d84d46de9e27b8 (diff) | |
Renaming: ErrorBlock -> ProofBlock
Since this is really what they are.
Squashing this renaming back to the root of the feature branch is hard.
Diffstat (limited to 'stm/vernac_classifier.ml')
0 files changed, 0 insertions, 0 deletions