From 521e2d1fe90d2c176c9d4638795b51f3125d4302 Mon Sep 17 00:00:00 2001 From: Sylvain Pion Date: Wed, 28 Feb 2007 16:33:17 +0000 Subject: [PATCH] Rename filtered_predicate.cpp to Filtered_predicate.cpp to match the class name. dont_submit the lazykernel.cpp example as Lazy_kernel is not documented (and the example crashes). --- Filtered_kernel/dont_submit | 1 + .../{filtered_predicate.cpp => Filtered_predicate.cpp} | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) rename Filtered_kernel/examples/Filtered_kernel/{filtered_predicate.cpp => Filtered_predicate.cpp} (95%) diff --git a/Filtered_kernel/dont_submit b/Filtered_kernel/dont_submit index bbb24e1ee8d..ab973d00ed1 100644 --- a/Filtered_kernel/dont_submit +++ b/Filtered_kernel/dont_submit @@ -1,2 +1,3 @@ TODO_static_filters Makefile +lazykernel.cpp diff --git a/Filtered_kernel/examples/Filtered_kernel/filtered_predicate.cpp b/Filtered_kernel/examples/Filtered_kernel/Filtered_predicate.cpp similarity index 95% rename from Filtered_kernel/examples/Filtered_kernel/filtered_predicate.cpp rename to Filtered_kernel/examples/Filtered_kernel/Filtered_predicate.cpp index ad030346a7b..c0a227eb6e4 100644 --- a/Filtered_kernel/examples/Filtered_kernel/filtered_predicate.cpp +++ b/Filtered_kernel/examples/Filtered_kernel/Filtered_predicate.cpp @@ -1,4 +1,4 @@ -// file : examples/Filtered_kernel/filtered_predicate.cpp +// file : examples/Filtered_kernel/Filtered_predicate.cpp #include #include