From 4ff126ead8293669285843c717f970aa70fedb63 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Fri, 7 Feb 2025 14:46:55 -0800
Subject: [PATCH] Slight generalization

---
 lib/AstToCStar.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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