Revert "remove section heading at start of implementation"

This reverts commit 97ecd621f5.
This commit is contained in:
Maximilian Keßler 2022-04-09 13:09:26 +02:00
parent 97ecd621f5
commit 2c554eab28

View file

@ -206,6 +206,7 @@ class ImplementationBeginMacro(SimpleSingleLineMacro):
return [ return [
r'% \begin{implementation}', r'% \begin{implementation}',
r'', r'',
r'\section{\pkg{!name} implementation}',
r'\begin{macrocode}', r'\begin{macrocode}',
r'<*!outtype>', r'<*!outtype>',
r'\end{macrocode}', r'\end{macrocode}',