Merge pull request #7568 from thomasspriggs/tas/fix_remove_asm_docs

Fix the doxygen for the `remove_asm.h` file

Author: tautschnig

src/assembler/remove_asm.h

@@ -11,8 +11,8 @@ Date:   December 2014
 
 /// \file
 /// Remove 'asm' statements by compiling them into suitable standard goto
-/// program instructions
-
+/// program instructions.
+/// \details
 /// Inline assembly statements in the source program (in either gcc- or
 /// msc-style) are represented by instructions of kind `OTHER` with a `code`
 /// member of type `code_asmt` in the goto program.