Slight generalization

FStarLang · Feb 7, 2025 · 4ff126e · 4ff126e
1 parent 97a06e0
commit 4ff126e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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