From f44235eba9c8d48015366e56c35cb50f349c8be2 Mon Sep 17 00:00:00 2001
From: Taeer Bar-Yam <taeer.bar-yam@tweag.io>
Date: Tue, 1 Aug 2023 07:50:05 -0400
Subject: [PATCH] no %% around builtins in error messages

---
 core/src/eval/operation.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/src/eval/operation.rs b/core/src/eval/operation.rs
index a007b2aff3..814803e865 100644
--- a/core/src/eval/operation.rs
+++ b/core/src/eval/operation.rs
@@ -1162,7 +1162,7 @@ impl<R: ImportResolver, C: Cache> VirtualMachine<R, C> {
                     // Not using mk_type_error! because of a non-uniform message
                     Err(EvalError::TypeError(
                         String::from("String"),
-                        String::from("%eval_nix% takes a string of nix code as an argument"),
+                        String::from("eval_nix takes a string of nix code as an argument"),
                         arg_pos,
                         RichTerm { term: t, pos },
                     ))