#
# ChangeLog for src/ResolvExpr/CandidatePrinter.hpp
#
# Generated by Trac 1.2.1
# Nov 1, 2024, 5:54:13 AM

Tue, 09 Nov 2021 20:57:11 GMT Andrew Beach <ajbeach@…> [1622af5]
	* src/ResolvExpr/CandidatePrinter.cpp (added)
	* src/ResolvExpr/CandidatePrinter.hpp (added)
	* src/ResolvExpr/module.mk (modified)
	* src/main.cc (modified)

	Created CandidatePrinter from AlternativePrinter (seems to uncover a ...