Separate user and dev natspec documentation

- plus other small changes according to the spec

1 files changed, 1 insertions, 1 deletions

diff --git a/main.cpp b/main.cpp
index 6ca130a7..29239a71 100644
--- a/main.cpp
+++ b/main.cpp
@@ -136,7 +136,7 @@ int main(int argc, char** argv)
 	cout << eth::disassemble(compiler.getBytecode()) << endl;
 	cout << "Binary: " << toHex(compiler.getBytecode()) << endl;
 	cout << "Interface specification: " << compiler.getInterface() << endl;
-	cout << "Natspec documentation: " << compiler.getDocumentation() << endl;
+	cout << "Natspec user documentation: " << compiler.getUserDocumentation() << endl;
 
 	return 0;
 }