From 018ee3b0c2be79eb81b1f65c3f3fa142d24129c8 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Thu, 19 Jan 2006 22:34:29 +0000
Subject: Imported Upstream version 8.0pl3

---
 test-suite/modules/modul.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/modules/modul.v')

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.
 
-- 
cgit v1.2.3