Removing a function which is kinda useless and widening a test

spacekookie · Oct 26, 2017 · 0448a85 · 0448a85
1 parent 6c0b16e
commit 0448a85
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 9 deletions.
diff --git a/src/terms.rs b/src/terms.rs
@@ -47,15 +47,6 @@ impl PartialEq for Term {
 
 
 impl Term {
-    /// Very simple constructor that initialises a term with one symbol
-    pub fn new(symbol: Symbol) -> Term {
-        let mut t = Term {
-            symbols: Vec::new(),
-        };
-
-        t.symbols.push(symbol);
-        return t;
-    }
 
     /// Simple linear `contains` function for a Term. Avoid using this
     ///   as it can lead to high runtimes on longer terms.

diff --git a/src/tests.rs b/src/tests.rs
@@ -55,6 +55,10 @@ mod tests {
         assert!(term.contains(&symbol!["A"]));
         assert!(term.contains(&symbol!["!A"]));
         assert!(term.contains(&symbol!["B"]));
+
+        /* Fail an insert */
+        term.insert(symbol!["B"]);
+        assert!(term.contains(&symbol!["B"]));
     }
 
     #[test]