Resolve "aterms-namespace"

Jakob Maljaarsrequested to merge
64-aterms-namespace into master

Closes #64 (closed)

Edited by Jakob Maljaars

Merge request reports