From 148784ef4c662b5ed605e5c5c04b3a4641cc8fb5 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Thu, 29 Oct 2020 23:04:59 -0700
Subject: [PATCH] Make the example more compelling

---
 HW4.idr | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/HW4.idr b/HW4.idr
index 33f3e26..c7f91bd 100644
--- a/HW4.idr
+++ b/HW4.idr
@@ -38,7 +38,9 @@ initialState = (IntTy, IntTy, IntTy)
 testProg : Prog Main.initialState Main.initialState
 testProg =
   [ Store A (Lit 1 `Leq` Lit 2)
-  , Store A (Lit 1)
+  , If (Load A)
+    [ Store A (Lit 1) ]
+    [ Store A (Lit 2) ]
   , Store B (Lit 2)
   , Store R (Add (Load A) (Load B))
   ]