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

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

(limited to 'autochomp/src')

diff --git a/autochomp/src/main.rs b/autochomp/src/main.rs
index cbc0646..e1faafc 100644
--- a/autochomp/src/main.rs
+++ b/autochomp/src/main.rs
@@ -7,7 +7,7 @@ use std::{
 use chewed::{IterWrapper, Parser};
 use chomp::{
     chomp::{
-        ast::substitute::InlineCalls,
+        ast::substitute::InlineGlobal,
         typed::{
             context::Context,
             lower::{Backend, GenerateCode},
@@ -32,7 +32,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