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))
                           '() '()))]))