just two things I forgot to remove

diff --git a/Robust/src/Runtime/GenericHashtable.c b/Robust/src/Runtime/GenericHashtable.c
index 422d03c5c5e8be33ac0b2759d8e0488bba8c80b7..763aa9cabdbd560934ef842d49901ec0b566273f 100755 (executable)
--- a/Robust/src/Runtime/GenericHashtable.c
+++ b/Robust/src/Runtime/GenericHashtable.c
@@ -121,7 +121,7 @@ int gencontains(struct genhashtable *ht, void * key) {
 
 void genfreekey(struct genhashtable *ht, void * key) {
   struct genpointerlist * ptr=ht->bins[genhashfunction(ht,key)];
-  if(ptr==NULL) printf("otr is null\n");
+  
   if (((ht->comp_function==NULL)&&(ptr->src==key))||((ht->comp_function!=NULL)&&(*ht->comp_function)(ptr->src,key))) {
     ht->bins[genhashfunction(ht,key)]=ptr->next;
 

diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h
index c3405ec4a8b2da624fe2c9f92663efa8d9c5d483..bfa832012d0c296f81bc725dd005e17e8265547a 100644 (file)
--- a/Robust/src/Runtime/runtime.h
+++ b/Robust/src/Runtime/runtime.h
@@ -97,7 +97,6 @@ struct taskparamdescriptor {
   struct taskdescriptor * task;
   int numParameters;
   void ** parameterArray;
-  int containsoptional;
 };
 
 int hashCodetpd(struct taskparamdescriptor *);