From cdcca51637709f10e5dcf8ca028759bc44e70760 Mon Sep 17 00:00:00 2001
From: Hugo Wangler <hugwan-6@student.ltu.se>
Date: Fri, 22 Nov 2019 12:24:02 +0000
Subject: [PATCH] Update HOME_EXAM.md

---
 HOME_EXAM.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/HOME_EXAM.md b/HOME_EXAM.md
index eb13b7e..ffad2f8 100644
--- a/HOME_EXAM.md
+++ b/HOME_EXAM.md
@@ -237,7 +237,9 @@ Not sure how to do this for elseif
 **while** statement:
 ```math
 \frac{\lang b, \sigma \rang \ \Downarrow \ \text{false} \quad \lang c, \sigma \rang \Downarrow \sigma' }{\text{while } b \text{ do } c, \sigma \rang \ \Downarrow \ \sigma}
+```
 
+```math
 \frac{\lang b, \sigma \rang \ \Downarrow \ \text{true} \quad \lang c, \sigma \rang \ \Downarrow \ \sigma' \quad \lang \text{while } b \text{ do } c,\sigma' \rang \ \Downarrow \ \sigma''}{\lang \text{while } b \text{ do } c, \sigma \rang \ \Downarrow \ \sigma''}
 ```
 
-- 
GitLab