diff options
| author | Peter Sewell | 2015-05-09 16:45:50 +0100 |
|---|---|---|
| committer | Peter Sewell | 2015-05-09 16:45:50 +0100 |
| commit | 41b91549c4d718871b7202d2679492a5a493447a (patch) | |
| tree | e852b936e7cb4130c784ddf31e5f16dc9c193b0e /language/l2.lem | |
| parent | 6edab5a5943bfc04052eb12246096da82235b347 (diff) | |
use less confusing Ott binary
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2.lem b/language/l2.lem index ea9e007d..5441587d 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -1,4 +1,4 @@ -(* generated by Ott 0.24 from: l2_typ.ott l2.ott *) +(* generated by Ott 0.25 from: l2_typ.ott l2.ott *) open import Pervasives open import Map |