on the way to path extracting

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 1f518eb..b262660 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -98,7 +98,7 @@ int solve(FILE *inputstream, char *lurd)
                        new = subsolve(rls->reld, new);
                        break;
                default:
-                       printf("Unknown character in lucd: '%c'\n", *lurd);
+                       printf("Unknown character in lurd: '%c'\n", *lurd);
                        exit(2);
                }
                lurd++;