From ec36e232e5cfedb2ca101d283e4cb4f54bc83d41 Mon Sep 17 00:00:00 2001 From: Everett Maus Date: Fri, 9 Aug 2019 10:34:42 -0700 Subject: [PATCH] Fixing a spacing issue when undoing a comment --- azure-pipelines.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 81e90fadf..90c946ba1 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -160,4 +160,4 @@ jobs: - template: scripts/test-z3.yml - template: scripts/test-examples-cmake.yml - template: scripts/test-regressions.yml -# - template: scripts/test-java-cmake.yml +# - template: scripts/test-java-cmake.yml