From 41dc10be9c1c6f6c1e92b289e7d7b639b0780776 Mon Sep 17 00:00:00 2001
From: Zeno Rogue <zeno@attnam.com>
Date: Sun, 19 Oct 2025 17:06:00 +0200
Subject: [PATCH] arcm:: add _details

---
 archimedean.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/archimedean.cpp b/archimedean.cpp
index 6943256d..ac365659 100644
--- a/archimedean.cpp
+++ b/archimedean.cpp
@@ -903,7 +903,7 @@ struct hrmap_archimedean : hrmap {
 
 EX hrmap *new_map() { return new hrmap_archimedean; }
 
-EX debugflag debug_archimedean_map = {"archimedean_map"};
+EX debugflag debug_archimedean_map = {"archimedean_map_details"};
 
 heptagon *build_child(heptspin p, pair<int, int> adj) {
   indenter ind;