+ cleaning up code base
[qpalma.git] / dyn_prog / debug_tools.h
index 7243830..4865bee 100644 (file)
@@ -3,13 +3,9 @@
 
 #include <cstdio>
 
-void fassert(bool exp,int line, char* file) {
-   if (! exp) {
-      printf("invalid fassert at line %d in file %s!\n",line,file);
-      exit(EXIT_FAILURE);
-   }
-}
+void fassert(bool exp,int line, char* file);
+
+#endif // __DEBUG_TOOLS__
 
 #define FA(expr) (fassert(expr,__LINE__,__FILE__))
 
-#endif // __DEBUG_TOOLS__