From: Eugene Akentyev <ak3ntev@gmail.com>
Date: Thu, 27 Oct 2016 21:07:58 +0000 (+0500)
Subject: Fix binary expr
X-Git-Url: https://git.xn--bdkaa.com/?a=commitdiff_plain;h=626b6f758756b6fbba0e74fb3b8250fba1fec25f;p=jolie.agda.git

Fix binary expr
---

diff --git a/src/Expr.agda b/src/Expr.agda
index ed60c25..a299064 100644
--- a/src/Expr.agda
+++ b/src/Expr.agda
@@ -12,5 +12,5 @@ data BinOp : Set where
 
 data Expr : Set where
   var : Variable → Expr
-  binary : BinOp → Variable → Variable → Expr
+  binary : BinOp → Expr → Expr → Expr
   constant : Variable.Value → Expr