Merge pull request #530 from FStarLang/protz_generalization

Slight generalization
FStarLang · Feb 7, 2025 · 4d4b74e · 4d4b74e
2 parents 97a06e0 + 4ff126e
commit 4d4b74e
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