diff options
| author | Alasdair Armstrong | 2019-06-04 16:13:21 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-04 16:31:19 +0100 |
| commit | 239e13dc149af80f979ea95a3c9b42220481a0a1 (patch) | |
| tree | a55033560e7659bd443325db02b7308c50b9b38b /src/jib | |
| parent | 5ff72f7ba016d5e698f326750f2635d3a256516c (diff) | |
Remove unused AST constructor
Clean up ott grammar a bit
Diffstat (limited to 'src/jib')
| -rw-r--r-- | src/jib/anf.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/jib/anf.ml b/src/jib/anf.ml index fdb4f941..5165904d 100644 --- a/src/jib/anf.ml +++ b/src/jib/anf.ml @@ -752,9 +752,5 @@ let rec anf (E_aux (e_aux, ((l, _) as exp_annot)) as exp) = (* Sizeof nodes removed by sizeof rewriting pass *) raise (Reporting.err_unreachable l __POS__ "encountered E_constraint node when converting to ANF") - | E_nondet _ -> - (* We don't compile E_nondet nodes *) - raise (Reporting.err_unreachable l __POS__ "encountered E_nondet node when converting to ANF") - | E_internal_return _ | E_internal_plet _ -> raise (Reporting.err_unreachable l __POS__ "encountered unexpected internal node when converting to ANF") |