From 1e946119d10cd9476d7d211045b426fd9ff38f70 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sat, 13 Sep 2014 20:08:29 +0200
Subject: [PATCH] Improve errors now that we use strings for names.

---
 theories/stringmap.v | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/theories/stringmap.v b/theories/stringmap.v
index d53d2601..66d752a7 100644
--- a/theories/stringmap.v
+++ b/theories/stringmap.v
@@ -7,6 +7,8 @@ and guarantees logarithmic-time operations. *)
 Require Export fin_maps.
 Require Import Ascii String list pmap mapset.
 
+Infix "+:+" := String.append (at level 60, right associativity) : C_scope.
+
 Instance assci_eq_dec : ∀ a1 a2, Decision (a1 = a2) := ascii_dec.
 Instance string_eq_dec (s1 s2 : string) : Decision (s1 = s2).
 Proof. solve_decision. Defined.
-- 
GitLab