diff --git a/linux32/sapldebug.dcl b/common/sapldebug.dcl similarity index 100% rename from linux32/sapldebug.dcl rename to common/sapldebug.dcl diff --git a/linux32/sapldebug.icl b/common/sapldebug.icl similarity index 100% rename from linux32/sapldebug.icl rename to common/sapldebug.icl diff --git a/linux64/sapldebug.dcl b/linux64/sapldebug.dcl deleted file mode 100644 index 6ad2dd3bf2fb5e54426ccb39f804a0a50c407d8e..0000000000000000000000000000000000000000 --- a/linux64/sapldebug.dcl +++ /dev/null @@ -1,3 +0,0 @@ -definition module sapldebug - -sapldebug :: !a .b -> .b diff --git a/linux64/sapldebug.icl b/linux64/sapldebug.icl deleted file mode 100644 index 24e818e5f4d6c319bc331f0d3588b29ef31aa0dc..0000000000000000000000000000000000000000 --- a/linux64/sapldebug.icl +++ /dev/null @@ -1,7 +0,0 @@ -implementation module sapldebug - -import StdEnv,graph_to_sapl_string, StdDebug,graph_to_string_with_descriptors - -sapldebug :: !a .b -> .b -sapldebug a b = trace_n ("DEBUG: " +++ graph_to_sapl_string a) b - diff --git a/macosx/sapldebug.dcl b/macosx/sapldebug.dcl deleted file mode 100644 index 6ad2dd3bf2fb5e54426ccb39f804a0a50c407d8e..0000000000000000000000000000000000000000 --- a/macosx/sapldebug.dcl +++ /dev/null @@ -1,3 +0,0 @@ -definition module sapldebug - -sapldebug :: !a .b -> .b diff --git a/macosx/sapldebug.icl b/macosx/sapldebug.icl deleted file mode 100644 index 24e818e5f4d6c319bc331f0d3588b29ef31aa0dc..0000000000000000000000000000000000000000 --- a/macosx/sapldebug.icl +++ /dev/null @@ -1,7 +0,0 @@ -implementation module sapldebug - -import StdEnv,graph_to_sapl_string, StdDebug,graph_to_string_with_descriptors - -sapldebug :: !a .b -> .b -sapldebug a b = trace_n ("DEBUG: " +++ graph_to_sapl_string a) b - diff --git a/win32/sapldebug.dcl b/win32/sapldebug.dcl deleted file mode 100644 index 6ad2dd3bf2fb5e54426ccb39f804a0a50c407d8e..0000000000000000000000000000000000000000 --- a/win32/sapldebug.dcl +++ /dev/null @@ -1,3 +0,0 @@ -definition module sapldebug - -sapldebug :: !a .b -> .b diff --git a/win32/sapldebug.icl b/win32/sapldebug.icl deleted file mode 100644 index 24e818e5f4d6c319bc331f0d3588b29ef31aa0dc..0000000000000000000000000000000000000000 --- a/win32/sapldebug.icl +++ /dev/null @@ -1,7 +0,0 @@ -implementation module sapldebug - -import StdEnv,graph_to_sapl_string, StdDebug,graph_to_string_with_descriptors - -sapldebug :: !a .b -> .b -sapldebug a b = trace_n ("DEBUG: " +++ graph_to_sapl_string a) b -