diff --git a/Makefile b/Makefile
index 503c3b09333789240d2c31df0c4d43182f2e2148..a58005b67deaca679dbf5c8088ddb589b4479fe0 100644
--- a/Makefile
+++ b/Makefile
@@ -538,7 +538,6 @@ KERNEL_CMO=\
 	src/kernel_internals/parsing/errorloc.cmo                      \
 	src/kernel_services/ast_printing/cil_printer.cmo                \
 	src/kernel_services/ast_printing/cil_descriptive_printer.cmo    \
-	src/kernel_services/parsetree/cabs.cmo                               \
 	src/kernel_services/parsetree/cabshelper.cmo                         \
 	src/kernel_services/ast_queries/logic_utils.cmo              \
 	src/kernel_services/ast_printing/logic_print.cmo                \
@@ -640,7 +639,8 @@ MLI_ONLY+=\
 	src/libraries/utils/hptmap_sig.mli                                   \
 	src/kernel_services/cmdline_parameters/parameter_sig.mli             \
 	src/kernel_services/ast_data/cil_types.mli                           \
-	src/kernel_services/parsetree/logic_ptree.mli                             \
+	src/kernel_services/parsetree/cabs.mli                               \
+	src/kernel_services/parsetree/logic_ptree.mli                        \
 	src/kernel_services/ast_printing/printer_api.mli                     \
 	src/kernel_services/abstract_interp/float_sig.mli                    \
 	src/kernel_services/abstract_interp/float_interval_sig.mli           \
@@ -652,8 +652,7 @@ MLI_ONLY+=\
 	src/kernel_services/abstract_interp/lmap_sig.mli                     \
 	src/kernel_services/abstract_interp/offsetmap_bitwise_sig.mli
 
-NO_MLI+= src/kernel_services/parsetree/cabs.mli                \
-	src/kernel_internals/runtime/machdep_ppc_32.mli         \
+NO_MLI+= src/kernel_internals/runtime/machdep_ppc_32.mli         \
 	src/kernel_internals/runtime/machdep_x86_16.mli         \
 	src/kernel_internals/runtime/machdep_x86_32.mli         \
 	src/kernel_internals/runtime/machdep_x86_64.mli         \
diff --git a/src/kernel_services/parsetree/cabs.ml b/src/kernel_services/parsetree/cabs.mli
similarity index 100%
rename from src/kernel_services/parsetree/cabs.ml
rename to src/kernel_services/parsetree/cabs.mli