X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=abstract-newtypes%2Fnt.icl;fp=abstract-newtypes%2Fnt.icl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=627578fac6caa99073b55fef55eeaf7e1838732d;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git

diff --git a/abstract-newtypes/nt.icl b/abstract-newtypes/nt.icl
deleted file mode 100644
index 627578f..0000000
--- a/abstract-newtypes/nt.icl
+++ /dev/null
@@ -1,4 +0,0 @@
-implementation module nt
-
-:: NT a =: NT a
-:: RT a = RT a