commit | dd7a88b074a19d3fedab9e0d9a1a6d39a5054eea | [log] [tgz] |
---|---|---|
author | Shawn O. Pearce <sop@google.com> | Wed Jun 15 11:42:28 2011 -0700 |
committer | Shawn O. Pearce <sop@google.com> | Wed Jun 15 11:42:28 2011 -0700 |
tree | bbf647db90831a2dd3080cbe7404a0f8c8381f39 | |
parent | 1418b1beb05c804e86806699f667c7cb00722656 [diff] |
Adapt to latest PrologCafe snapshot I changed around some of the APIs in PrologCafe to make the use of SymbolTerm safer in a shared environment. Change-Id: I182c8c6fad78598749a75a1b45ad264c500ab5d5