diff --git a/compiler/cl-repl/src/args.rs b/compiler/cl-repl/src/args.rs
index cae9f0f..57dba4e 100644
--- a/compiler/cl-repl/src/args.rs
+++ b/compiler/cl-repl/src/args.rs
@@ -35,6 +35,10 @@ argwerk::define! {
     [#[option] path] if file.is_none() => {
         file = path.map(Into::into);
     }
+
+    [path] if file.is_some() => {
+        include.push(path.into());
+    }
 }
 
 /// gets whether stdin AND stdout are a terminal, for pipelining