From 1a0eeea38b165b5c17ed012b4ae873d4a16c2ed9 Mon Sep 17 00:00:00 2001
From: Enrico Lumetti <enrico.lumetti@gmail.com>
Date: Fri, 12 Aug 2022 23:03:55 +0200
Subject: [PATCH] Fix two-operands subtraction

---
 cvar-to-bril.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/cvar-to-bril.rkt b/cvar-to-bril.rkt
index dd1e3ed..1fbfc2b 100644
--- a/cvar-to-bril.rkt
+++ b/cvar-to-bril.rkt
@@ -47,4 +47,9 @@
          (bril:ValueInstr 'sub dest (bril:Type 'int)
                           (list dest
                                 (symbol->string v1))
+                          '() '()))]
+  [(Prim '- (list (Var v1) (Var v2)))
+   (list (bril:ValueInstr 'sub dest (bril:Type 'int)
+                          (list (symbol->string v1)
+                                (symbol->string v2))
                           '() '()))]))