update test

leanprover-community · Aug 30, 2024 · 919fc88 · 919fc88
1 parent 05fdb03
commit 919fc88
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ImportGraphTest/expected.dot b/ImportGraphTest/expected.dot
@@ -1,5 +1,5 @@
 digraph "import_graph" {
-  "ImportGraphTest.Unused" [style=filled, fillcolor=lightgray];
-  "ImportGraphTest.Used" [style=filled, fillcolor=lightgray];
+  "ImportGraphTest.Unused" [style=filled, fillcolor="#e0e0e0"];
+  "ImportGraphTest.Used" [style=filled, fillcolor="#e0e0e0"];
   "ImportGraphTest.Unused" -> "ImportGraphTest.Used";
 }