Added two things:
[charm.git] / src / libs / ck-libs / tcharm / tcharm.ci
index 8856511b42057a79eb20d01c46b0ecac4e60fcbd..df905877d9fc16f3a4ad1d59426a3289dbccc2cf 100644 (file)
@@ -1,6 +1,7 @@
 module tcharm {
   readonly int tcharm_nomig;
   readonly int tcharm_nothreads;
+  readonly TCharmTraceLibList tcharm_tracelibs;
   message TCharmInitMsg {
        char data[];
   };