diff options
Diffstat (limited to 'src/cli/runtime/PersistentTree.cs')
| -rw-r--r-- | src/cli/runtime/PersistentTree.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cli/runtime/PersistentTree.cs b/src/cli/runtime/PersistentTree.cs index 61f18157..b4686264 100644 --- a/src/cli/runtime/PersistentTree.cs +++ b/src/cli/runtime/PersistentTree.cs @@ -729,7 +729,7 @@ public void Reset() #endregion
} - /*
+ //*
[STAThread] static public void Main(String[] args){ if(args.Length != 1)
@@ -778,7 +778,7 @@ static public void Main(String[] args){ Console.Error.WriteLine("count = " + set.count());
Console.WriteLine("Building Hashtable");
- Hashtable od = new Hashtable(1001);
+ Hashtable od = Hashtable.Synchronized(new Hashtable(1001));
start = DateTime.Now;
for (int i = 0; i < ints.Length; i++)
{
|