Merge pull request #5361 from thk123/fix-vsd-intervals

Intervals with tests

Author: Thomas Kiley

src/util/Makefile

@@ -107,6 +107,7 @@ SRC = allocate_objects.cpp \
       version.cpp \
       xml.cpp \
       xml_irep.cpp \
+      interval.cpp \
       # Empty last line
 
 INCLUDES= -I ..