fix syntax

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 11, 2022 · 6b60a3d · 6b60a3d
1 parent 2520dcb
commit 6b60a3d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -56,9 +56,10 @@ jobs:
         ./test-z3 -a
         cd -
 
+# Disabled:       ${{github.workspace}}/build/examples/c_example_build_dir/c_example
+
     - name: Run examples
       run: |
-# Disabled:       ${{github.workspace}}/build/examples/c_example_build_dir/c_example
         ${{github.workspace}}/build/examples/cpp_example_build_dir/cpp_example
         ${{github.workspace}}/build/examples/tptp_build_dir/z3_tptp5 --help
         ${{github.workspace}}/build/examples/c_maxsat_example_build_dir/c_maxsat_example ${{github.workspace}}/examples/maxsat/ex.smt