Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-29 20:10:33 -0700 (Tue, 29 Jul 2003)
Revision: 123
Log message:

      Changed itt_logic to use explicit rule calls instead of dT and autoT
      (which can have things overridden in other theories).
      

Changes	Path
+1 -1	libmojave/cutil/Makefile