# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1467960490 -32400
# Node ID 40d53d90060932f5a32240178165349ee43f9527
# Parent  5070a1052e6ba3159a36ebeedbc043348f1f6c74
Fix ref in appendix code

diff -r 5070a1052e6b -r 40d53d900609 paper/vmpcbc.pdf
Binary file paper/vmpcbc.pdf has changed
diff -r 5070a1052e6b -r 40d53d900609 paper/vmpcbc.tex
--- a/paper/vmpcbc.tex	Fri Jul 08 15:31:10 2016 +0900
+++ b/paper/vmpcbc.tex	Fri Jul 08 15:48:10 2016 +0900
@@ -22,7 +22,7 @@
   captionpos=b,
   moredelim=**[s][\color{red}]{\"compressed}{\"},
 }
-\renewcommand{\lstlistingname}{Code}
+\renewcommand{\lstlistingname}{図}
 
 \def\Underline{\setbox0\hbox\bgroup\let\\\endUnderline}
 \def\endUnderline{\vphantom{y}\egroup\smash{\underline{\box0}}\\}
@@ -39,6 +39,7 @@
 
 
 \begin{document}
+\renewcommand{\thelstlisting}{\thesection-\arabic{lstlisting}}
 
 \title{Continuation based C を用いたプログラムの検証手法}
 \etitle{Verification method of programs using Continuation based C}
@@ -624,7 +625,7 @@
 % {{{ CbCで記述された赤黒木のコード
 
 \section{CbCで記述された赤黒木のコード}
-CbCで記述された赤黒木のソースコードをCode\ref{src:rbtree-full} に示す。
+CbCで記述された赤黒木のソースコードを図\ref{src:rbtree-full} に示す。
 
 
 \begin{lstlisting}[ caption={CbCで記述された赤黒木}, label=src:rbtree-full  ]