From 2578fad937ecc165b337a96e960ee65ff9452cab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20S=C3=B6derberg?= <david.soderberg98@gmail.com>
Date: Thu, 19 Nov 2020 09:51:08 +0000
Subject: [PATCH] Update HOME_EXAM.md

---
 HOME_EXAM.md | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/HOME_EXAM.md b/HOME_EXAM.md
index 2487bb8..fb97315 100644
--- a/HOME_EXAM.md
+++ b/HOME_EXAM.md
@@ -540,10 +540,6 @@ let d:bool = *b; // <-- Type missmatch
 ```
 
 #### Function call
-```math
-\frac{<f(e), σ> → t}{<f, σ> → \text{ret } t}
-```
-
 ```math
 \frac{<e_1, σ> → <t_1, σ^1> ... <e_n, σ^{n-1}> → <t_n, σ^n> <f_{call}, σ^n[p_1=t_1, ..., p_n=t_n]> → <t_{res}, σ'>}{<f(e_1, ..., e_n), σ> → <f_t, σ'>}
 ```
-- 
GitLab