[guru-lang] r537 committed - fixed Lemma's print method

1 view

Skip to first unread message

guru...@googlecode.com

unread,

Aug 22, 2011, 7:02:42 PM8/22/11

to guru...@googlegroups.com

Revision: 537
Author: kevinclancy0
Date: Mon Aug 22 16:01:56 2011
Log: fixed Lemma's print method
http://code.google.com/p/guru-lang/source/detail?r=537

Modified:
/branches/1.0/guru/Lemma.java

=======================================
--- /branches/1.0/guru/Lemma.java Mon Aug 22 15:48:56 2011
+++ /branches/1.0/guru/Lemma.java Mon Aug 22 16:01:56 2011
@@ -86,7 +86,11 @@
protected void do_print(PrintStream w, Context ctxt) {
w.print("lemma ");
lemmaProof.print(w, ctxt);
- //body.print(w,ctxt.addTermCtor(c, d, type))
+ w.print(" in ");
+ Expr formula = lemmaProof.classify(ctxt);
+ ctxt.lemmaSet.addLemma(formula);
+ body.print(w,ctxt);
+ ctxt.lemmaSet.removeLemma(formula);
}