Merge remote-tracking branch 'origin/master' into master

Author: jmct

www/notes/agreement/asm/printer.rkt

@@ -39,6 +39,6 @@
   (let ((g (findf symbol? a)))
     (display 
       (string-append "\tglobal " (label->string g) "\n"
-      		     "\textern get_int\n"
+      		     "\textern " (label->string 'get_int) "\n"
       		     "\tsection .text\n"
                      (asm->string a)))))

www/notes/blackmail/asm/printer.rkt

@@ -43,6 +43,6 @@
   (let ((g (findf symbol? a)))
     (display 
       (string-append "\tglobal " (label->string g) "\n"
-      		     "\textern get_int\n"
+      		     "\textern " (label->string 'get_int) "\n"      
       		     "\tsection .text\n"
                      (asm->string a)))))