diff --git a/src/Interpreter.hs b/src/Interpreter.hs
index 30bdd54..bdbd8d2 100644
--- a/src/Interpreter.hs
+++ b/src/Interpreter.hs
@@ -62,7 +62,7 @@ eval cxt = \case
   --  γ ⊢ e  ⇓ v
   --  γ ⊢ e₁ ⇓ v₁
   --  ------------------
-  --  γ ⊢ e e₁ ⇓ v
+  --  γ ⊢ e e₁ ⇓ v + v₁
 
   EAdd e e1 -> do
     v <- eval cxt e