Fixup 716e20ae: revert useless part

diff --git a/development/coverity_modeling.cpp b/development/coverity_modeling.cpp
index 7e8cb632312f9c7f76b2c0906539705262e3a198..984464655a88e49535bcd45c2439c5c5cd30dc3e 100644 (file)
--- a/development/coverity_modeling.cpp
+++ b/development/coverity_modeling.cpp
@@ -36,15 +36,4 @@ void lyxbreaker(void const * data, const char * hint, int size)
 }
 
 
-template<class T>
-void CoordCache<T>::check(T const * thing, char const * hint) const
-{
-       typename cache_type::const_iterator it = data_.find(thing);
-
-       if (it == data_.end() || it->second.pos.x == -10000)
-               __coverity_panic__();
-}
-
-
-
 }