Fix random errors/typos...
authorbdemsky <bdemsky>
Wed, 10 Mar 2004 06:49:50 +0000 (06:49 +0000)
committerbdemsky <bdemsky>
Wed, 10 Mar 2004 06:49:50 +0000 (06:49 +0000)
commit27bbf503174c94925a8bc4e52d9d6eefcabdc0dc
treeed9853aaf584c115d0b1ee12f274ffc841542cb1
parent9918f5482edda50339844652d2a75e563af54ea9
Fix random errors/typos...
Repair/RepairCompiler/MCC/IR/RelationQuantifier.java
Repair/RepairCompiler/MCC/IR/RepairGenerator.java
Repair/RepairCompiler/MCC/IR/SetQuantifier.java