- ;;
-
- let modified_before_t_t (_,_,ct, _, _) a b =
+ in
+(*
+ time_stamp ("L s_t: " ^ string_of_bool r);
+*)
+ r
+
+ let modified_before_t_t (_,_,ct, _, _) a b =
+(*
+ time_stamp ("L t_t: a " ^ F.string_of_target_object a);
+ time_stamp ("L t_t: b " ^ F.string_of_target_object b);
+*)