diff --git a/lib/AstToCStar.ml b/lib/AstToCStar.ml
index f72e544f..8df40163 100644
--- a/lib/AstToCStar.ml
+++ b/lib/AstToCStar.ml
@@ -650,7 +650,7 @@ and mk_stmts env e ret_type =
 
     | EBufFill (e1, e2, e3) ->
         let e' = CStar.BufFill (
-          mk_type env (assert_tbuf e1.typ),
+          mk_type env (assert_tbuf_or_tarray e1.typ),
           mk_expr env false false e1,
           mk_expr env false false e2,
           mk_expr env false false e3