# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1612173619 -32400
# Node ID df8d197cc560540040dec47ecea7c98cb7e0a3e5
# Parent  55ae765ffcddd211fd5fbe90f0ecc9620e7a2cec
Added tag current for changeset 55ae765ffcdd

diff -r 55ae765ffcdd -r df8d197cc560 .hgtags
--- a/.hgtags	Mon Feb 01 19:00:14 2021 +0900
+++ b/.hgtags	Mon Feb 01 19:00:19 2021 +0900
@@ -8,3 +8,5 @@
 0000000000000000000000000000000000000000 current
 f7c0509e3ab697a8f95ee7d3d349cef63f4817c0 current
 40735db036d3331a2a96c1c20620845d1bd839a6 model-checking
+f7c0509e3ab697a8f95ee7d3d349cef63f4817c0 current
+55ae765ffcddd211fd5fbe90f0ecc9620e7a2cec current