誤字を修正

plasklab · Jul 25, 2017 · a3669a7 · a3669a7
1 parent ec16676
commit a3669a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sample/textbook/forLib/prac_2.2.pml b/sample/textbook/forLib/prac_2.2.pml
@@ -1,6 +1,6 @@
 #define PROCSIZE 2
 #define VARSIZE 2
-#define BUFFSIZE 10
+#define BUFFSIZE 5
 #define s0 0
 #define t0 1
 #define x0 0