From 168bd6a9e934ffc1cd3e34618271c5a5b9e2b6b3 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Tue, 12 Apr 2022 18:39:47 +0300
Subject: [PATCH] Sync

---
 src/version.ml    | 2 +-
 stdlib/Ostap.lama | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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)
     }
   }