# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486088926 0
# Node ID 29a3a4b79d4df32151d3ba11dec2c34c3ac769f6
# Parent  79d435b162415c9cab2583dca0ef1f39127a8c47
Add comment

diff -r 79d435b16241 -r 29a3a4b79d4d cbc/atton-master-meta-sample.agda
--- a/cbc/atton-master-meta-sample.agda	Fri Feb 03 02:20:25 2017 +0000
+++ b/cbc/atton-master-meta-sample.agda	Fri Feb 03 02:28:46 2017 +0000
@@ -74,3 +74,4 @@
 
 main : Meta
 main = gotoMeta push cs0 (record {context = (record {a = 100 ; b = 50 ; c = 70}) ; c' = 0 ; next = (N.cs id)})
+-- record {context = record {a = 100 ; b = 50 ; c = 150} ; c' = 70 ; next = (N.cs id)}