From e2d280829e07d8b5e96c96bd4b2fd815e8311102 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 19 Mar 2018 20:42:35 +0100 Subject: [PATCH] only use public headers from MC examples too --- examples/msg/mc/bugged1_liveness.c | 6 +++--- examples/msg/mc/bugged2_liveness.c | 7 +++---- 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/examples/msg/mc/bugged1_liveness.c b/examples/msg/mc/bugged1_liveness.c index cfd16e18ea..d334f66d0c 100644 --- a/examples/msg/mc/bugged1_liveness.c +++ b/examples/msg/mc/bugged1_liveness.c @@ -1,4 +1,4 @@ -/* Copyright (c) 2012-2017. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2012-2018. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -15,8 +15,8 @@ #include #endif -#include "simgrid/msg.h" -#include "mc/mc.h" +#include +#include XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages"); diff --git a/examples/msg/mc/bugged2_liveness.c b/examples/msg/mc/bugged2_liveness.c index b363faf496..5a6d2d23fc 100644 --- a/examples/msg/mc/bugged2_liveness.c +++ b/examples/msg/mc/bugged2_liveness.c @@ -1,5 +1,4 @@ -/* Copyright (c) 2012-2015. The SimGrid Team. - * All rights reserved. */ +/* Copyright (c) 2012-2018. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -10,8 +9,8 @@ /* LTL property checked : !(GFcs) */ /******************************************************************************/ -#include "simgrid/msg.h" -#include "mc/mc.h" +#include +#include XBT_LOG_NEW_DEFAULT_CATEGORY(bugged3, "my log messages"); -- 2.20.1