diff options
| author | Shawn O. Pearce <sop@google.com> | 2011-06-01 16:54:02 -0700 |
|---|---|---|
| committer | Shawn O. Pearce <sop@google.com> | 2011-06-02 07:48:01 -0700 |
| commit | 32447ab2bc21f1095f714306c4d22d1587bc05c7 (patch) | |
| tree | 5335ecbe557d56b4a751fd3f5afc7c87d60d5124 | |
| parent | 132745252cb4507317d25ea81a371f69a293ed56 (diff) | |
| download | prolog-cafe-32447ab2bc21f1095f714306c4d22d1587bc05c7.tar.gz | |
Correct typo in CPFStack documentation
| -rw-r--r-- | src/lang/CPFStack.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lang/CPFStack.java b/src/lang/CPFStack.java index d2f4e94..67b37ff 100644 --- a/src/lang/CPFStack.java +++ b/src/lang/CPFStack.java @@ -10,7 +10,7 @@ import java.io.Serializable; class CPFEntry implements Serializable { public long timeStamp; public Operation cont; // continuation goal - public Operation bp; // next cluase + public Operation bp; // next clause public int tr; // trail pointer public int b0; // cut point |