update test

leanprover-community · Oct 30, 2024 · d2600ef · d2600ef
1 parent e2597e7
commit d2600ef
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="#e0e0e0"];
-  "ImportGraphTest.Used" [style=filled, fillcolor="#e0e0e0"];
+  "ImportGraphTest.Unused" [style=filled, fillcolor="#e0e0e0", shape=ellipse];
+  "ImportGraphTest.Used" [style=filled, fillcolor="#e0e0e0", shape=house];
   "ImportGraphTest.Unused" -> "ImportGraphTest.Used";
 }