amalgame/commit

DISABLED: expensive derived scheme check when looking for amalgame_alignable_schemes/1 (TODO: this should become an option later)

authorJacco van Ossenbruggen
Thu Mar 5 10:07:41 2020 +0100
committerJacco van Ossenbruggen
Thu Mar 5 10:07:41 2020 +0100
commitdb95713c7be9c7cff7b7a5da907cce7563bedc65
tree483777372a4d770c5b15936c38418ef9eca9c8a0
parent94765ab80dd7809536703862edd81fb0dd399fdd
Diff style: stat patch
 lib/amalgame/vocabulary.pl | 3 +++
 1 file changed, 2 insertions(+), 1 deletion(-)