diff --git a/src/Interpreter.hs b/src/Interpreter.hs
index 9047f032a..8e24522cb 100644
--- a/src/Interpreter.hs
+++ b/src/Interpreter.hs
@@ -2,10 +2,6 @@
 module Interpreter
 ( diffTerms
 , diffSyntaxTerms
-, decoratingWith
-, diffTermsWith
-, comparableByConstructor
-, equivalentTerms
 ) where
 
 import Algorithm