index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
ast.ml
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
(limited to 'src/ast.ml')
-rw-r--r--
src/ast.ml
1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ast.ml b/src/ast.ml
index 390b8737..098f9c3a 100644
--- a/
src/ast.ml
+++ b/
src/ast.ml
@@ -42,7 +42,6 @@
(* generated by Ott 0.25 from: l2.ott *)
-
type text = string
type l = Parse_ast.l