Fix encoding order of nary arguments

formalsec · Mar 3, 2025 · 54beae2 · 54beae2
1 parent 7f1417e
commit 54beae2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/smtml/mappings.ml b/src/smtml/mappings.ml
@@ -659,6 +659,8 @@ module Make (M_with_make : M_with_make) : S_with_fresh = struct
               (ctx, e :: es) )
             (ctx, []) es
         in
+        (* This is needed so arguments don't end up out of order in the operator *)
+        let es = List.rev es in
         (ctx, naryop ty op es)
       | Extract (e, h, l) ->
         let ctx, e = encode_expr ctx e in