amalgame/commit

FIXED: is_other_literal/3 was broken

authorJacco van Ossenbruggen
Sun Mar 29 14:25:37 2015 +0200
committerJacco van Ossenbruggen
Sun Mar 29 14:25:37 2015 +0200
commitd96aa339bc2f9890b8767008f07cd6b62400ee64
tree4761887af3bb69872443552b0045cb0c2129783a
parent847da6345acf9ad1cd708e1879bfc835128b1a2f
Diff style: stat patch
 components/amalgame/correspondence.pl | 8 ++++++++
 1 file changed, 5 insertions(+), 3 deletions(-)