herby/trapped @ 937d2ada37edce8052adff15d2a2ff1b66c5d9a2

Herbert Vojčík 937d2ada37 Cosmetic: no more "might not been initialized".		13 年之前
..
Trapped-Tests.st	937d2ada37 Cosmetic: no more "might not been initialized".	13 年之前
Trapped.st	7bda352d85 Isolator >> model:modify:	13 年之前