Reverse application (#1350)

hazelgrove · Aug 2, 2024 · d6a36ea · d6a36ea
2 parents 1fd72f0 + 8d2523a
commit d6a36ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lcore/statics/MakeTerm.re b/src/haz3lcore/statics/MakeTerm.re
@@ -289,7 +289,7 @@ and exp_term: unsorted => (UExp.term, list(Id.t)) = {
           | ([";"], []) => Seq(l, r)
           | (["++"], []) => BinOp(String(Concat), l, r)
           | (["$=="], []) => BinOp(String(Equals), l, r)
-          | (["|>"], []) => Ap(Reverse, l, r)
+          | (["|>"], []) => Ap(Reverse, r, l)
           | (["@"], []) => ListConcat(l, r)
           | _ => hole(tm)
           },