fix: print SOG in dot format

.devcontainer/Dockerfile

@@ -6,7 +6,7 @@ FROM mcr.microsoft.com/vscode/devcontainers/cpp:0-${VARIANT}
 
 # [Optional] Uncomment this section to install additional packages.
 RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
-    && apt-get -y install --no-install-recommends wget cmake bison flex \
+    && apt-get -y install --no-install-recommends wget cmake bison flex graphviz \
     openmpi-bin libopenmpi-dev && \
     wget http://www.lrde.epita.fr/dload/spot/spot-2.10.4.tar.gz && \
     tar xzf spot-2.10.4.tar.gz && cd spot-2.10.4 && \

src/main.cpp

@@ -590,7 +590,7 @@ int main(int argc, char **argv)
                         spot::twa::prop_set::all(), true);
                     if (dot_sog)
                     {
-                        saveGraph(af, "SOG.dot", "ka");
+                        saveGraph(k, "SOG.dot", "ka");
                     }
                     cout << endl;