diff -r 8cc4c51c4bfc -r dab341e80664 absyntax_utils/search_constant_type.hh
--- a/absyntax_utils/search_constant_type.hh	Wed May 09 22:59:10 2012 +0100
+++ b/absyntax_utils/search_constant_type.hh	Wed May 09 23:00:10 2012 +0100
@@ -168,12 +168,8 @@
     /************************/
     void *visit(neg_time_c *symbol);
     void *visit(duration_c *symbol);
+    void *visit(interval_c *symbol);
     void *visit(fixed_point_c *symbol);
-    void *visit(days_c *symbol);
-    void *visit(hours_c *symbol);
-    void *visit(minutes_c *symbol);
-    void *visit(seconds_c *symbol);
-    void *visit(milliseconds_c *symbol);
 
     /************************************/
     /* B 1.2.3.2 - Time of day and Date */