diff --git a/src/tactic/sine_filter.cpp b/src/tactic/sine_filter.cpp
index 2052035f7..d76e8f6b5 100644
--- a/src/tactic/sine_filter.cpp
+++ b/src/tactic/sine_filter.cpp
@@ -27,11 +27,6 @@ Revision History:
 #include "ast_util.h"
 #include "obj_pair_hashtable.h"
 
-#if 0
-TODO documentation here
-#endif
-
-
 class sine_tactic : public tactic {
 
     ast_manager&  m;