diff options
-rw-r--r-- | desiredata/src/profile_dd.tcl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/desiredata/src/profile_dd.tcl b/desiredata/src/profile_dd.tcl index 12c98a56..c5f22827 100644 --- a/desiredata/src/profile_dd.tcl +++ b/desiredata/src/profile_dd.tcl @@ -14,7 +14,6 @@ if 1 { puts [format "%8d %s" $v $k] } } -} -if 0 { +} else { load matjuprofiler/matjuprofiler.so } |