msvc + doxygen fixes

AnyDSL · Mar 13, 2024 · eadc3e1 · eadc3e1
1 parent 7fd43fa
commit eadc3e1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml
@@ -16,11 +16,11 @@ jobs:
       with:
         submodules: recursive
 
-    - name: Install newest g++, graphviz, texlive
+    - name: Install newest g++, gdb, graphviz, texlive
       run: |
         sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
         sudo apt-get update
-        sudo apt-get install g++-13 graphviz texlive-latex-base texlive-fonts-recommended texlive-fonts-extra texlive-latex-extra
+        sudo apt-get install g++-13 gdb graphviz texlive-latex-base texlive-fonts-recommended texlive-fonts-extra texlive-latex-extra
 
         export CXX=g++-13
 

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 std::string(def->sym());
             case Node::Pi: return "Π";
             case Node::Lam: return "λ";
             case Node::App: return "";