# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1339773491 -32400
# Node ID f9e7052a380e655a48cdc4facac6011d9e16a6fb
# Parent  7294b17518c6875312331a645975a5232fc45ec9# Parent  be591bf4e2b574bed777cbd613d313e2f9459b0f
merge

diff -r 7294b17518c6 -r f9e7052a380e paper/rectype.ind
--- a/paper/rectype.ind	Sat Jun 16 00:17:53 2012 +0900
+++ b/paper/rectype.ind	Sat Jun 16 00:18:11 2012 +0900
@@ -1,5 +1,6 @@
 -title: Recursive type syntax in Continuation based C
 
+\newcommand{\rectype}{{\tt \_\_rectype}}
 
 --author: Nobuyasu Oshiro, Shinji KONO