Fix of an old comment block
authorJohn Pirie <jpirie23@gmail.com>
Mon, 2 Dec 2013 23:46:29 +0000 (23:46 +0000)
committerJohn Pirie <jpirie23@gmail.com>
Mon, 2 Dec 2013 23:46:29 +0000 (23:46 +0000)
commit9570863c01747812c1851e363a57d1146781f109
treefdb9d97fc5e3a90ae4aa0d2032c72a579e266d4c
parent2cbe5623c9be5c3890dd1b0ad3fabc469b6daccd
Fix of an old comment block
analysis-engines/standard-ml/RunSlicer.sml
analysis-engines/standard-ml/Tester.sml
analysis-engines/standard-ml/constraint/Env.sml
analysis-engines/standard-ml/generation/Analyze.sml
analysis-engines/standard-ml/ppp/PPP.sml