Do more restructuring.

1 files changed, 2 insertions, 2 deletions

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>)
         })