--- 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 */