# HG changeset patch # User Sean Halle # Date 1362386507 28800 # Node ID 0162554f6ef5905e1f922cba766b7da6fae24b95 # Parent a40859b8dc33a21599282a117601c137273935c4 ML_dev -- works in sequential mode diff -r a40859b8dc33 -r 0162554f6ef5 VSs.c --- a/VSs.c Sat Mar 02 10:07:58 2013 -0800 +++ b/VSs.c Mon Mar 04 00:41:47 2013 -0800 @@ -12,7 +12,7 @@ #include "Hash_impl/PrivateHash.h" #include "VSs.h" -#include "PR_impl/Services_Offered_by_PR/Measurement_and_Stats/PR_MEAS__Counter_Recording.h" +#include "PR_impl/Services_Offered_by_PR/Measurement_and_Stats/MEAS__Counter_Recording.h" //========================================================================== void VSs__init_Helper(); diff -r a40859b8dc33 -r 0162554f6ef5 VSs_SS.c --- a/VSs_SS.c Sat Mar 02 10:07:58 2013 -0800 +++ b/VSs_SS.c Mon Mar 04 00:41:47 2013 -0800 @@ -12,7 +12,7 @@ #include "Hash_impl/PrivateHash.h" #include "VSs.h" -#include "PR_impl/Services_Offered_by_PR/Measurement_and_Stats/PR_MEAS__Counter_Recording.h" +#include "PR_impl/Services_Offered_by_PR/Measurement_and_Stats/MEAS__Counter_Recording.h" //==========================================================================