From 80f4f3ee599bf73661d93594efcabe951818a674 Mon Sep 17 00:00:00 2001
From: Kartik Singhal <kartik.singhal@quantinuum.com>
Date: Tue, 17 Oct 2023 11:10:01 -0500
Subject: [PATCH] Correct an example in the spec

---
 phir_spec_qasm.md  | 4 ++--
 tests/example.json | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/phir_spec_qasm.md b/phir_spec_qasm.md
index e4517a2..f35f4e0 100644
--- a/phir_spec_qasm.md
+++ b/phir_spec_qasm.md
@@ -716,8 +716,8 @@ Here is an equivalent version of the program using PHIR.
       "true_branch": [
         {
           "cop": "=",
-          "args": ["c"],
-          "returns": [7]
+          "args": [7],
+          "returns": ["c"]
         },
         {
           "qop": "X",
diff --git a/tests/example.json b/tests/example.json
index 53eb93f..058a40a 100644
--- a/tests/example.json
+++ b/tests/example.json
@@ -149,7 +149,7 @@
             "block": "if",
             "condition": {"cop": ">", "args": ["a", 2]},
             "true_branch": [
-                {"cop": "=", "args": ["c"], "returns": [7]},
+                {"cop": "=", "args": [7], "returns": ["c"]},
                 {"qop": "X", "args": [["w", 0]]},
                 {"qop": "H", "args": [["w", 1]]},
                 {"qop": "CX", "args": [[["w", 1], ["w", 2]]]},