From eadc3e1e2665923d990cf52e6cc83b0ad09a938f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roland=20Lei=C3=9Fa?= Date: Wed, 13 Mar 2024 19:20:44 +0100 Subject: [PATCH] msvc + doxygen fixes --- .github/workflows/doxygen.yml | 4 ++-- src/thorin/dot.cpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml index d971290483..67367d8d8a 100644 --- 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 index 286c725e41..dd30ded2c0 100644 --- 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 "";