From 8124c487b576661dfa7a0833415d07d0978bc43e Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 1 Sep 2017 15:33:24 +0100
Subject: Testing typedef generation for ocaml

---
 src/rewriter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/rewriter.ml b/src/rewriter.ml
index 3dc66b04..b180b0a1 100644
--- a/src/rewriter.ml
+++ b/src/rewriter.ml
@@ -2510,7 +2510,7 @@ let rewrite_undefined =
   let rewrite_e_aux (E_aux (e_aux, _) as exp) =
     match e_aux with
     | E_lit (L_aux (L_undef, l)) ->
-       check_exp (env_of exp) (undefined_of_typ (typ_of exp)) (typ_of exp)
+       check_exp (env_of exp) (undefined_of_typ (Env.expand_synonyms (env_of exp) (typ_of exp))) (typ_of exp)
     | _ -> exp
   in
   let rewrite_exp_undefined = { id_exp_alg with e_aux = (fun (exp, annot) -> rewrite_e_aux (E_aux (exp, annot))) } in
-- 
cgit v1.2.3