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