cleanup fix

wsc1 · wsc1 · commit f4146b01c372 · 2018-12-08T21:08:02.000+01:00
diff --git a/logic/aiger/aiger.go b/logic/aiger/aiger.go
@@ -728,7 +728,6 @@ func (aigrdr *aigerReader) commit(ascii bool) error {
 		if m == z.LitNull {
 			return UndefinedLit
 		}
-		fmt.Printf("mapping output %d to %s\n", u, m)
 		aigrdr.T.Outputs = append(aigrdr.T.Outputs, m)
 	}
 	for _, u := range aigrdr.AigBad {

Original file line number	Diff line number	Diff line change
`@@ -728,7 +728,6 @@ func (aigrdr *aigerReader) commit(ascii bool) error {`
`728`	`728`	`if m == z.LitNull {`
`729`	`729`	`return UndefinedLit`
`730`	`730`	`}`
`731`		`- fmt.Printf("mapping output %d to %s\n", u, m)`
`732`	`731`	`aigrdr.T.Outputs = append(aigrdr.T.Outputs, m)`
`733`	`732`	`}`
`734`	`733`	`for _, u := range aigrdr.AigBad {`