src/core/model/timer-impl.h
changeset 10979 dfda54e1d825
parent 7383 c5e131450339
child 11098 bd1adad111fa
equal deleted inserted replaced
10978:754c8256c35c 10979:dfda54e1d825
    15  * along with this program; if not, write to the Free Software
    15  * along with this program; if not, write to the Free Software
    16  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
    16  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
    17  *
    17  *
    18  * Author: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
    18  * Author: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
    19  */
    19  */
       
    20 
    20 #ifndef TIMER_IMPL_H
    21 #ifndef TIMER_IMPL_H
    21 #define TIMER_IMPL_H
    22 #define TIMER_IMPL_H
    22 
    23 
    23 #include "simulator.h"
    24 #include "simulator.h"
    24 #include "type-traits.h"
    25 #include "type-traits.h"