diff options
| author | Kathy Gray | 2013-09-26 12:11:25 -0400 |
|---|---|---|
| committer | Kathy Gray | 2013-09-26 12:11:25 -0400 |
| commit | 7841e635dec210e2dfc011df8e3c53d05d76141c (patch) | |
| tree | 148df128e160b7c2a512e388281f0e2c85a62308 /src/parse_ast.ml | |
| parent | b4e24ef7e0e559c0705e626e7fed53b9f2224c0b (diff) | |
Adding undefined
Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 23957118..b12651c0 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -137,6 +137,7 @@ lit_aux = (* Literal constant *) | L_num of int (* natural number constant *) | L_hex of string (* bit vector constant, C-style *) | L_bin of string (* bit vector constant, C-style *) + | L_undef (* undefined value *) | L_string of string (* string constant *) |