1 files changed, 0 insertions, 7 deletions
diff --git a/src/unify.cpp b/src/unify.cpp
index 48ae1dd..aeb024f 100644
--- a/src/unify.cpp
+++ b/src/unify.cpp
@@ -129,13 +129,6 @@ Constraints::replace(const AST* s, const AST* t)
 	}
 	return *this;
 }
-
-static inline bool
-is_dots(const AST* type)
-{
-	return (AType::is_name(type) && type->as_symbol()->str() == "...");
-}
-
 /// Unify a type constraint set (TAPL 22.4)
 Subst
 unify(const Constraints& constraints)