Changeset 2918 for src/RTLabs/RTLabsToRTL.ma

Timestamp:

Mar 20, 2013, 5:10:13 PM (9 years ago)

Author:

tranquil

Message:

erased stupid accidental paste at the start of file (happened when file was compiled and should have been read-only...)

File:

• src/RTLabs/RTLabsToRTL.ma (modified) (1 diff)

src/RTLabs/RTLabsToRTL.ma

@@ -1 @@
-    if eqb offset 0 then [ ] else
 include "RTLabs/RTLabs_syntax.ma".
 include "RTL/RTL.ma".