From c611534644f22b09e8f31cfafaebf4e0175a59d9 Mon Sep 17 00:00:00 2001
From: Sam Cowger <sam@galois.com>
Date: Mon, 17 Oct 2022 13:37:22 -0700
Subject: [PATCH] Fix positions of operands in actual/expected exitcode
 checking

---
 intTests/IntegrationTest.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/intTests/IntegrationTest.hs b/intTests/IntegrationTest.hs
index a87cd6855e..8d3ebaf197 100644
--- a/intTests/IntegrationTest.hs
+++ b/intTests/IntegrationTest.hs
@@ -167,7 +167,7 @@ genTests envvars disabled = map mkTest
       if r == ExitSuccess
         then return ()
         else putStrLn o >> hPutStrLn stderr e
-      r @=? ExitSuccess
+      ExitSuccess @=? r
 
 
 -- | Several of the tests use definitions from the cryptol-specs