X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_instrument.c;h=8146338e0e40124467bccce2c95b23a50d691857;hp=f7478f73555c6f9ff2020ab9c315b8bd8acf0f6e;hb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68;hpb=d34450b1e6fe3c2e1295c268c1722c669ba8d545

diff --git a/palacios/src/palacios/vmm_instrument.c b/palacios/src/palacios/vmm_instrument.c
index f7478f7..8146338 100644
--- a/palacios/src/palacios/vmm_instrument.c
+++ b/palacios/src/palacios/vmm_instrument.c
@@ -17,7 +17,7 @@
  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  */
 
-#ifdef INSTRUMENT_VMM 
+
 
 #include <palacios/svm_handler.h>
 #include <palacios/vmm_instrument.h>
@@ -133,4 +133,3 @@ static void print_instrumentation() {
 
 
 
-#endif