xmode.marker: faster update-match-group

[factor.git] / vm / data_roots.hpp

diff --git a/vm/data_roots.hpp b/vm/data_roots.hpp
index 94be9695d2f7ab05cd68e082288173159b951e09..c0e4ce68f36fdfb018547ef8e73fdf01480f2d59 100644 (file)
--- a/vm/data_roots.hpp
+++ b/vm/data_roots.hpp
@@ -14,18 +14,10 @@ template <typename Type> struct data_root : public tagged<Type> {
 
   data_root(Type* value, factor_vm* parent)
       : tagged<Type>(value), parent(parent) {
+    FACTOR_ASSERT(value);
     push();
   }
 
-  const data_root<Type>& operator=(const Type* x) {
-    tagged<Type>::operator=(x);
-    return *this;
-  }
-  const data_root<Type>& operator=(const cell& x) {
-    tagged<Type>::operator=(x);
-    return *this;
-  }
-
   ~data_root() {
     parent->data_roots.pop_back();
   }