From e1452227b8bd9ad3805480f8a5a66a75fb8370dd Mon Sep 17 00:00:00 2001
From: Greg Brown <gmb60@cam.ac.uk>
Date: Fri, 8 Jan 2021 18:00:11 +0000
Subject: Do more restructuring.

---
 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 418f99f..a255590 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -7,7 +7,7 @@ use std::{
 
 use chomp::{
     chomp::{
-        check::{InlineCall, TypeCheck},
+        check::{InlineCalls, TypeCheck},
         context::Context,
         visit::Visitable,
     },
@@ -35,7 +35,7 @@ fn main() {
         .and_then(|(funs, goal)| {
             funs.into_iter()
                 .try_rfold(goal, |goal, function| {
-                    goal.fold(&mut InlineCall::new(function))
+                    goal.fold(&mut InlineCalls::new(function))
                 })
                 .map_err(|e| Box::new(e) as Box<dyn Error>)
         })
-- 
cgit v1.2.3