Commits

Anonymous committed c52f3cb

Change the name of the module in comments.

  • Participants
  • Parent commits 0e22102

Comments (0)

Files changed (2)

File cf/cf_gadget.ml

 (*---------------------------------------------------------------------------*
-  IMPLEMENTATION  cf_nflow.ml
+  IMPLEMENTATION  cf_gadget.ml
 
   Copyright (c) 2004, James H. Woodyatt
   All rights reserved.
         start (loop w) ()
  *---------------------------------------------------------------------------*)
 
-(*--- End of File [ cf_nflow.ml ] ---*)
+(*--- End of File [ cf_gadget.ml ] ---*)

File cf/cf_gadget.mli

 (*---------------------------------------------------------------------------*
-  INTERFACE  cf_nflow.mli
+  INTERFACE  cf_gadget.mli
 
   Copyright (c) 2004, James H. Woodyatt
   All rights reserved.
     ('x, 'i, 'o) #rx -> ('y, 'i, 'o) #tx -> ('x, 'y) Cf_flow.t ->
     ('s, 'i, 'o, unit) t
 
-(*--- End of File [ cf_nflow.mli ] ---*)
+(*--- End of File [ cf_gadget.mli ] ---*)