Skip to content

Commit d28d6df

Browse files
committed
fix(187): replace green!30 with lightgreen in extended RSM DOT
DOT does not support TikZ-style color intensity syntax (e.g., green!30). Use standard DOT color name lightgreen instead.
1 parent 88a3663 commit d28d6df

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

src/FLPQ.Printers/RsmDot.fs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -147,7 +147,7 @@ module RsmDot =
147147
let mutable parts = [ sprintf "label=\"%s\"" label ]
148148

149149
if isStartState then
150-
parts <- "style=filled" :: "fillcolor=green!30" :: parts
150+
parts <- "style=filled" :: "fillcolor=lightgreen" :: parts
151151

152152
if isFinal then
153153
parts <- "peripheries=2" :: parts

0 commit comments

Comments
 (0)