Browse Source

fix `tools` tag definition

George C. Privon 5 years ago
parent
commit
afbfbf8827
1 changed files with 1 additions and 1 deletions
  1. 1 1
      writing_tools/writing_tools.poly.pm

+ 1 - 1
writing_tools/writing_tools.poly.pm

@@ -17,7 +17,7 @@
 
 ◊; define some tags specific to this memo
 ◊(define (tool . parts)
-  (section parts))
+  `(section ,@parts))
 
 ◊abstract{Written communication is an important aspect }