Silly mistake

FStarLang · Aug 3, 2023 · 74153cc · 74153cc
1 parent bc30c01
commit 74153cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/AstToCStar.ml b/lib/AstToCStar.ml
@@ -211,7 +211,7 @@ let rec mk_expr env in_stmt e =
   | EConstant c ->
       CStar.Constant c
 
-  | ETApp ({ node = EApp (e, es); _ }, ts) when !Options.allow_tapps ->
+  | EApp ({ node = ETApp (e, ts); _ }, es) when !Options.allow_tapps ->
       CStar.Call (mk_expr env e,
         List.map (mk_expr env) es @ List.map (fun t ->
           CStar.Type (mk_type env t)) ts)