--- a/SConstruct	Fri Nov 03 09:04:12 2006 +0100
+++ b/SConstruct	Fri Nov 03 09:05:58 2006 +0100
@@ -48,6 +48,7 @@
 ns3.add(simu)
 simu.add_dep('core')
 simu.add_sources([
+    'high-precision.cc',
     'time.cc',
     'event-id.cc',
     'scheduler.cc',
@@ -64,6 +65,7 @@
     'scheduler-list.h'
     ])
 simu.add_inst_headers([
+    'high-precision.h',
     'nstime.h',
     'event-id.h',
     'event-impl.h',