diff --git a/src/util/sharing_node.h b/src/util/sharing_node.h
index 19b41712649..9cec1cd2f3a 100644
--- a/src/util/sharing_node.h
+++ b/src/util/sharing_node.h
@@ -19,7 +19,7 @@ Author: Daniel Poetzl
 
 #include "invariant.h"
 
-#define _sn_assert(b) assert(b)
+#define _sn_assert(b) INVARIANT(b, "Sharing-node internal invariant")
 //#define _sn_assert(b)
 
 template <class T>