Fixed travis
Merge pull request #36 from MorenoB/Time_Logic_Travis_Fix

Fixed travis