Merge branch 'sail2' into separate_bv

1 files changed, 1 insertions, 2 deletions

diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml
index 8afc985d..907c62a5 100644
--- a/src/spec_analysis.ml
+++ b/src/spec_analysis.ml
@@ -184,7 +184,7 @@ let rec pat_bindings consider_var bound used (P_aux(p,(_,tannot))) =
 let rec fv_of_exp consider_var bound used set (E_aux (e,(_,tannot))) : (Nameset.t * Nameset.t * Nameset.t) =
   let list_fv b n s es = List.fold_right (fun e (b,n,s) -> fv_of_exp consider_var b n s e) es (b,n,s) in
   match e with
-  | E_block es | Ast.E_nondet es | Ast.E_tuple es | Ast.E_vector es | Ast.E_list es ->
+  | E_block es | Ast.E_tuple es | Ast.E_vector es | Ast.E_list es ->
     list_fv bound used set es
   | E_id id ->
      let used = conditional_add_exp bound used id in
@@ -808,7 +808,6 @@ let nexp_subst_fns substs =
     let re e = E_aux (e,(l,s_tannot annot)) in
       match e with
       | E_block es -> re (E_block (List.map s_exp es))
-      | E_nondet es -> re (E_nondet (List.map s_exp es))
       | E_id _
       | E_ref _
       | E_lit _