| commit | 89b29ac88d3d23d5ef509f802335208d0392d7dc | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat May 21 22:08:55 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat May 21 22:08:55 2011 +0000 |
| tree | a7dd8e54abe71ec9d9d83fefb494dd3e122c51e3 | |
| parent | 13f7f24d15a8968328128771803c45394b129ea1 [diff] |
improve previous patch: actually synchronize all access to unopenedTypes.