cvs commit: hugs98/src connect.h hugs.c static.c subst.c

lewie 2001/12/20 12:38:51 PST Modified files: src connect.h hugs.c static.c subst.c Log: Add `-O' flag to allow potentially inconsistent overlapping instances. Ordinarily, hugs will reject a generic instance if there's more than one way to satisfy it, because the two instances may not be consistent. However, this is sometimes too restrictive for serious experimenters ;-) Revision Changes Path 1.26 +5 -2 hugs98/src/connect.h 1.56 +7 -2 hugs98/src/hugs.c 1.51 +6 -3 hugs98/src/static.c 1.20 +3 -3 hugs98/src/subst.c