From 239e13dc149af80f979ea95a3c9b42220481a0a1 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 4 Jun 2019 16:13:21 +0100
Subject: Remove unused AST constructor

Clean up ott grammar a bit
---
 src/initial_check.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/initial_check.ml')

diff --git a/src/initial_check.ml b/src/initial_check.ml
index 522faab7..8a61134c 100644
--- a/src/initial_check.ml
+++ b/src/initial_check.ml
@@ -365,7 +365,6 @@ and to_ast_exp ctx (P.E_aux(exp,l) : P.exp) =
       (match to_ast_fexps false ctx exps with
       | Some(fexps) -> E_record(fexps)
       | None -> E_block(List.map (to_ast_exp ctx) exps))
-    | P.E_nondet(exps) -> E_nondet(List.map (to_ast_exp ctx) exps)
     | P.E_id(id) -> E_id(to_ast_id id)
     | P.E_ref(id) -> E_ref(to_ast_id id)
     | P.E_lit(lit) -> E_lit(to_ast_lit lit)
-- 
cgit v1.2.3