Artifact df202e1dd82be6641d84a4d0789bad10661a1229:

• File examples/reach2.tcl — part of check-in [88561d8ac3] at 2014-01-10 13:52:00 on branch trunk — Add prelude/postlude to code generation to reduce the temptation of global vars. Fix FDDD code gen for equalities, which was using the wrong namespace. (user: kbk size: 2712)

A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.