make msvc happy

AnyDSL · Mar 13, 2024 · 035df75 · 035df75
1 parent eadc3e1
commit 035df75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/thorin/dot.cpp b/src/thorin/dot.cpp
@@ -101,7 +101,7 @@ class Dot {
     std::string label(const Def* def) const {
         if (auto lit = Lit::isa(def)) return std::to_string(*lit);
         switch (def->node()) {
-            case Node::Axiom: return std::string(def->sym());
+            case Node::Axiom: return def->sym().str();
             case Node::Pi: return "Π";
             case Node::Lam: return "λ";
             case Node::App: return "";