# HG changeset patch
# User tobaru
# Date 1509096730 -32400
# Node ID bf98aab22a60ce1656be4597d577c059f351f131
# Parent  eb43376ecb120425dd7dec29e3c4a73bc52fce8d
句読点修正

diff -r eb43376ecb12 -r bf98aab22a60 mid_thesis.tex
--- a/mid_thesis.tex	Fri Oct 27 18:31:05 2017 +0900
+++ b/mid_thesis.tex	Fri Oct 27 18:32:10 2017 +0900
@@ -122,7 +122,7 @@
   Xv6とは、マサチューセッツ工科大の大学院生向け講義の教材として使うために、UNIX V6 という OS を ANSI-C に書き換え、x86に移植した OS である。
 Xv6 は Raspberry Pi に移植する事ができる。ANSI-C で書かれている Xv6 を CbC に書き直す事で、Raspberry Pi で CbC を動かせるようになる。\\
   Linux 上 で LLVM がコンパイルできない原因はまだ分かってないが、メモリを上げる事でこの方法でもコンパイルの速度向上が望める。 
-Linux 上で コンパイルを行うまでの過程を、図\ref{fig:OSX_Linux_VM}に示す
+Linux 上で コンパイルを行うまでの過程を、図\ref{fig:OSX_Linux_VM}に示す。
 
 \begin{figure}[htpb]
  \begin{center}