- WIP: Adjustments to new-luxc based on recent changes to stdlib.

1 files changed, 2 insertions, 2 deletions

diff --git a/new-luxc/source/luxc/lang/synthesis/variable.lux b/new-luxc/source/luxc/lang/synthesis/variable.lux
index b1988018d..4a3317d9f 100644
--- a/new-luxc/source/luxc/lang/synthesis/variable.lux
+++ b/new-luxc/source/luxc/lang/synthesis/variable.lux
@@ -11,7 +11,7 @@
   (-> ls.Path (List Variable))
   (case path
     (#ls.BindP register)
-    (list (nat-to-int register))
+    (list (.int register))
 
     (^or (#ls.SeqP pre post) (#ls.AltP pre post))
     (list/compose (bound-vars pre) (bound-vars post))
@@ -37,7 +37,7 @@
 (def: (non-arg? arity var)
   (-> ls.Arity Variable Bool)
   (and (variableL.local? var)
-       (n/> arity (int-to-nat var))))
+       (n/> arity (.nat var))))
 
 (type: Tracker (s.Set Variable))