diff --git a/_oasis b/_oasis
index 7e6f9aaae87f583a4a13f0f1291927bf02cfae0c..ff624cdb8c1733a092799361c402e95805327c6c 100644
--- a/_oasis
+++ b/_oasis
@@ -24,7 +24,8 @@ Library libcool
   NativeOpt:        -cc g++
   ByteOpt:        -cc g++
   CCOpt: -std=c++98 -x c++
-  # TODO: activate glpk_stub.c again
+  # glpk_stub is not included here, because it's not being used by
+  # any code right now. Add it back if you need it.
   CSources:         minisat_stub.c
   InternalModules:  ALCFormula, ALCGraph, ALCMisc, CoAlgLogicUtils,
                     CoAlgLogics, HashConsing, MiscSolver, AltGenlex,
diff --git a/src/lib/glpk.ml b/src/lib/glpk.ml
index c12fa058e1ff5f20c808af8cc3faced174ed53ba..5782c36f7f7b9639bd15955e012380089961b1a2 100644
--- a/src/lib/glpk.ml
+++ b/src/lib/glpk.ml
@@ -18,7 +18,10 @@
  * Boston, MA 02111-1307, USA.
  *)
 
-(* $Id$ *)
+(******************************************************************************)
+(* This is currently not used by COOL, but left here in case someone needs it *)
+(* in the future.                                                             *)
+(******************************************************************************)
 
 type lp
 
diff --git a/src/lib/glpk.mli b/src/lib/glpk.mli
index 7cb43927a90c3d79dc5ca65cf18d8619cbd78ea5..76f4a82e1c0527ad6068f4f8cdfd0f1b0ae5a502 100644
--- a/src/lib/glpk.mli
+++ b/src/lib/glpk.mli
@@ -8,7 +8,10 @@
   *)
 
 
-(* $Id$ *)
+(******************************************************************************)
+(* This is currently not used by COOL, but left here in case someone needs it *)
+(* in the future.                                                             *)
+(******************************************************************************)
 
 
 (** {1 Types} *) (* TODO: better comment! *)
diff --git a/src/lib/glpk_stub.c b/src/lib/glpk_stub.c
index 82075ad5d44c21ff40425875712297daff64a6bf..d4514afa59ac61abfcf0d2a4bf530e60d2bade12 100644
--- a/src/lib/glpk_stub.c
+++ b/src/lib/glpk_stub.c
@@ -18,6 +18,12 @@
  * Boston, MA 02111-1307, USA.
  */
 
+
+/******************************************************************************
+ * This is currently not used by COOL, but left here in case someone needs it *
+ * in the future.                                                             *
+ ******************************************************************************/
+
 #include <caml/alloc.h>
 #include <caml/callback.h>
 #include <caml/custom.h>