From c28601376e92bb1b1240b08ddbdfaa851daaa9cd Mon Sep 17 00:00:00 2001
From: Greg Brown <gmb60@cam.ac.uk>
Date: Fri, 9 Apr 2021 11:08:22 +0100
Subject: Make some progress, I guess

---
 src/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/main.rs')

diff --git a/src/main.rs b/src/main.rs
index 10156e6..13b0630 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -6,7 +6,7 @@ use std::{
 
 use chomp::{
     chomp::{
-        ast::substitute::InlineCalls,
+        ast::substitute::InlineGlobal,
         typed::{
             context::Context,
             lower::{Backend, GenerateCode},
@@ -28,7 +28,7 @@ fn main() {
         .and_then(|(funs, goal)| {
             funs.into_iter()
                 .try_rfold(goal, |goal, function| {
-                    goal.fold(&mut InlineCalls { function })
+                    goal.fold(&mut InlineGlobal { function })
                 })
                 .map_err(|e| Box::new(e) as Box<dyn Error>)
         })
-- 
cgit v1.2.3