From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 18 Dec 2016 22:19:30 +0000 (-0700)
Subject: remove unnecessary lifetime.
X-Git-Tag: v0.8.110~788
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=92ab8406efef6a03e3f8667edb526d311d75853f;p=scryer-prolog.git

remove unnecessary lifetime.
---

diff --git a/src/main.rs b/src/main.rs
index 370f4298..294d871a 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -12,7 +12,7 @@ fn print_instructions(program : &Program) {
     }
 }
 
-fn l0_repl<'a>() {
+fn l0_repl() {
     let mut ms = MachineState::new();
     
     loop {