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/proofBlockDelimiter.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/proofBlockDelimiter.ml')
0 files changed, 0 insertions, 0 deletions