add comment about renaming

just-max · just-max · commit fb33d54dccd0 · 2023-03-13T09:54:59.000+01:00
diff --git a/src/rmUnused.ml b/src/rmUnused.ml
@@ -38,6 +38,7 @@
 
 (* rmUnused.ml *)
 (* implementation for rmUnused.mli *)
+(* previously named Rmtmps, renamed to RmUnused to clarify that not only temporaries are removed *)
 
 open Pretty
 open Cil
