nitpick

FStarLang · Feb 5, 2025 · 58a6570 · 58a6570
1 parent 87fe978
commit 58a6570
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/AstToMiniRust.ml b/lib/AstToMiniRust.ml
@@ -609,7 +609,7 @@ and translate_expr_with_type (env: env) (e: Ast.expr) (t_ret: MiniRust.typ): env
     (*   PrintMiniRust.ptyp t *)
     (*   PrintMiniRust.ptyp t_ret; *)
     begin match x, t, t_ret with
-    | _, (App (Name (["Box"], _), [Slice _]) | MiniRust.Vec _ | Array _), Ref (_, k, Slice _) ->
+    | _, (MiniRust.App (Name (["Box"], _), [Slice _]) | MiniRust.Vec _ | Array _), Ref (_, k, Slice _) ->
         Borrow (k, x)
     | Constant (w, x), Constant UInt32, Constant SizeT ->
         assert (w = Constant.UInt32);