fix merge

ianpaulwright · ianpaulwright · commit ae011d904858 · 2019-11-16T12:53:49.000Z
diff --git a/src/Datalog.h b/src/Datalog.h
@@ -68,11 +68,6 @@ static void unbind(Variable<T>* t) {
 template <typename T>
 static void unbind(const T& t) {}
 
-template <typename T>
-static void unbind(Variable<T>* t) {
-    t->unbind();
-}
-
 template <typename... Ts>
 static void unbind(const tuple<Ts...> &tuple)
 {
