Joelbyte / weak-bases

An encoding of the Boolean co-clone lattice in Logtalk, with tools for constructing weak bases.
4 stars 3 forks source link

Syntax error (a typo) at line 547 of the relations.lgt file #1

Closed pmoura closed 10 years ago

pmoura commented 10 years ago

There's a spurious character, "p" on that line after the right parenthesis.

Joelbyte commented 10 years ago

Thanks! I just fixed it.

-- Victor

Från: Paulo Moura Skickat: ‎tisdag‎ den ‎10‎ ‎juni‎ ‎2014 ‎03‎:‎47 Till: Joelbyte/weak-bases

There's a spurious character, "p" on that line after the right parenthesis.

— Reply to this email directly or view it on GitHub.