diff options
| author | Kathy Gray | 2013-11-29 11:06:05 +0000 |
|---|---|---|
| committer | Kathy Gray | 2013-11-29 11:06:05 +0000 |
| commit | 362fcca9780c00d23733e1c9b4b3470455fb5ad7 (patch) | |
| tree | e5311c8dc385fc033af35362f020c05a74933868 /language/l2.ml | |
| parent | f335486bf254b882727fc373688b872a57de594c (diff) | |
Push syntax changes to type rules
Diffstat (limited to 'language/l2.ml')
| -rw-r--r-- | language/l2.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2.ml b/language/l2.ml index 00c59136..10b4fd7e 100644 --- a/language/l2.ml +++ b/language/l2.ml @@ -1,4 +1,4 @@ -(* generated by Ott 0.22 from: l2.ott *) +(* generated by Ott 0.23 from: l2.ott *) type text = string |