diff options
Diffstat (limited to 'test-suite/modules/modul.v')
| -rw-r--r-- | test-suite/modules/modul.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/modules/modul.v b/test-suite/modules/modul.v index 5612ea75..84942da1 100644 --- a/test-suite/modules/modul.v +++ b/test-suite/modules/modul.v @@ -33,7 +33,7 @@ Save. Check (O#O). Locate rel. -Locate M. +Locate Library M. Module N:=Top.M. |