[guru-lang] r536 committed - fixed a minor comment mistake

[guru...@googlecode.com]

Revision: 536
Author: kevinclancy0
Date: Mon Aug 22 15:48:56 2011
Log: fixed a minor comment mistake
http://code.google.com/p/guru-lang/source/detail?r=536

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

=======================================
--- /branches/1.0/guru/Lemma.java Mon Aug 22 15:38:29 2011
+++ /branches/1.0/guru/Lemma.java Mon Aug 22 15:48:56 2011
@@ -10,7 +10,7 @@
* A lemma proof appears in source code as "lemma p0 in p1", where p0 and
* p1 are proofs.
*
- * Let F be the type of p0 under context P. If p1 has type T under context
+ * Let F be the type of p0 under context C. If p1 has type T under context
* C,F, then the lemma term has type T under context C.
*
* As an example, suppose we have a proof div_le, which proves the