From f8f3095f8984c7064ec5ce3e68a590142ff35f54 Mon Sep 17 00:00:00 2001 From: greg Date: Tue, 14 May 2019 00:45:45 -0700 Subject: [PATCH] Remove dead code --- schala-repl/src/language.rs | 1 - schala-repl/src/repl/mod.rs | 1 - schala-repl/src/repl/repl_options.rs | 1 - 3 files changed, 3 deletions(-) diff --git a/schala-repl/src/language.rs b/schala-repl/src/language.rs index 72c3d8b..6ee6d07 100644 --- a/schala-repl/src/language.rs +++ b/schala-repl/src/language.rs @@ -1,4 +1,3 @@ -use serde::{Serialize, Deserialize}; use std::time; pub trait ProgrammingLanguageInterface { diff --git a/schala-repl/src/repl/mod.rs b/schala-repl/src/repl/mod.rs index 7d9b70a..6a7b7f7 100644 --- a/schala-repl/src/repl/mod.rs +++ b/schala-repl/src/repl/mod.rs @@ -1,6 +1,5 @@ use std::fmt::Write as FmtWrite; use std::io::Write; -use std::fs::File; use std::sync::Arc; use std::collections::HashSet; diff --git a/schala-repl/src/repl/repl_options.rs b/schala-repl/src/repl/repl_options.rs index 1aacc9a..54e8591 100644 --- a/schala-repl/src/repl/repl_options.rs +++ b/schala-repl/src/repl/repl_options.rs @@ -1,4 +1,3 @@ -use serde::{Serialize, Deserialize}; use crate::language::DebugAsk; use std::io::{Read, Write};