From 20323a2ab51dfb06a2c0af070acf02959507d2ce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= <cgzones@googlemail.com>
Date: Fri, 8 May 2020 19:54:40 +0200
Subject: [PATCH] example: use module name matching file name
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Using a different name in a non-base module will be rejected by checkmodule

Signed-off-by: Christian Göttsche <cgzones@googlemail.com>
---
 doc/example.te | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/example.te b/doc/example.te
index 823835532..af61f6e4c 100644
--- a/doc/example.te
+++ b/doc/example.te
@@ -1,5 +1,5 @@
 
-policy_module(myapp,1.0.0)
+policy_module(example,1.0.0) # a non-base module name must match the file name
 
 ########################################
 #