From a7482e884a8af423a5cf4ff79751adee65b5958c Mon Sep 17 00:00:00 2001
From: zweije
Date: Tue, 3 Jul 2001 11:42:06 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r518, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@519 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/law.dcl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'sucl/law.dcl')

diff --git a/sucl/law.dcl b/sucl/law.dcl
index e5564a5..e17f005 100644
--- a/sucl/law.dcl
+++ b/sucl/law.dcl
@@ -1 +1,3 @@
 definition module law
+
+// $Id$
-- 
cgit v1.2.3