tomahawkins/smt-lib — Issue #3: define_fun => define-fun
Author: jwaldmann
Created: 2012-03-05 10:40:43+00:00
State: open

The Show instance for Command outputs "define_fun" where it should be "define-fun" (dash instead of underscore).