Add poly/pretty.cd to unit tests

f9a38dc0 · Pietro Abate · df24cccc · f9a38dc0
Commit f9a38dc0 authored Sep 19, 2014 by Pietro Abate
--- a/tests/test.list
+++ b/tests/test.list
@@ -27,7 +27,7 @@ Cmd: ../cduce -c --verbose -I cql/TREE -I cql/XMP

 Name: poly
 Group: poly
-Input: poly/polyfuns.cd poly/polysyntax.cd
+Input: poly/polyfuns.cd poly/polysyntax.cd poly/pretty.cd
 Cmd: ../cduce -c --verbose -I poly