amalgame/commit
FIXED: is_other_literal/3 was broken
author | Jacco van Ossenbruggen |
---|---|
Sun Mar 29 14:25:37 2015 +0200 | |
committer | Jacco van Ossenbruggen |
Sun Mar 29 14:25:37 2015 +0200 | |
commit | d96aa339bc2f9890b8767008f07cd6b62400ee64 |
tree | 4761887af3bb69872443552b0045cb0c2129783a |
parent | 847da6345acf9ad1cd708e1879bfc835128b1a2f |
Diff style: stat patch
components/amalgame/correspondence.pl | 8 ++++++++ 1 file changed, 5 insertions(+), 3 deletions(-)