diff --git a/src/version.ml b/src/version.ml index 015a33a6d..31e9e8c38 100644 --- a/src/version.ml +++ b/src/version.ml @@ -1 +1 @@ -let version = "Version 1.10, 69c0b89e3, Mon Jan 31 23:46:18 2022 +0300" +let version = "Version 1.10, d0cc8d0fa, Mon Feb 14 01:13:14 2022 +0300" diff --git a/stdlib/Ostap.lama b/stdlib/Ostap.lama index 1e3813424..9fd73ff16 100644 --- a/stdlib/Ostap.lama +++ b/stdlib/Ostap.lama @@ -188,7 +188,7 @@ public fun list0 (item) { public fun observe (name, f) { fun (k) { fun (s) { - printf ("%s at %s\n", name, s.string); + printf ("%s at %s\n", name, showMatcher (s)); f (k)(s) } }