diff options
| author | Enrico Tassi | 2014-10-06 10:00:50 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-10-06 10:00:50 +0200 |
| commit | 24f5b8cf170012d43c00d5340173463438905ad2 (patch) | |
| tree | 7a63d3f4bfa8760561ef9db6b4e367b0d93704f5 /plugins/syntax/string_syntax.ml | |
| parent | b770451a4b3c74db78457951f75505b53d362c12 (diff) | |
Make tclEFFECTS also update the env in the proof monad
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions