diff options
Diffstat (limited to 'src/boot/llvm')
| -rw-r--r-- | src/boot/llvm/lltrans.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/llvm/lltrans.ml b/src/boot/llvm/lltrans.ml index ed64485e..62383ff1 100644 --- a/src/boot/llvm/lltrans.ml +++ b/src/boot/llvm/lltrans.ml @@ -821,7 +821,7 @@ let trans_crate | Ast.STMT_log a -> begin - match Semant.atom_type sem_cx a with + match Semant.simplified_ty (Semant.atom_type sem_cx a) with (* NB: If you extend this, be sure to update the * typechecking code in type.ml as well. *) Ast.TY_str -> trans_log_str a |