aboutsummaryrefslogtreecommitdiff
path: root/src/sman
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-19 04:16:43 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-19 04:16:43 -0800
commit9130fc21789dd3fc7c1a8c89dc992acfb54dbccd (patch)
treeb42cb9f365a75b6299fcb0942eba4be57d941416 /src/sman
parentd07fc9735f40e545edda456e15dbab783c500f6a (diff)
downloadopen-axiom-9130fc21789dd3fc7c1a8c89dc992acfb54dbccd.tar.gz
getConstructorCategory: get it from generated code for category constructors.
Diffstat (limited to 'src/sman')
0 files changed, 0 insertions, 0 deletions