Sonderzeichen in Kommentar entfernt.
Change-Id: Ifd0001466e01a213c595b3a87ea52ec166ff0337
diff --git a/secure/simul_efun/spare/simul_efun.c b/secure/simul_efun/spare/simul_efun.c
index 1e1940b..38ce64f 100644
--- a/secure/simul_efun/spare/simul_efun.c
+++ b/secure/simul_efun/spare/simul_efun.c
@@ -797,7 +797,7 @@
)
|| query_wiz_level(getuid(previous_object())) > SPECIAL_LVL)
{
- // Ein Fehler wird aber nur ausgeloest, falls der String ein @@ enthaelt,
+ // Ein Fehler wird aber nur ausgeloest, falls der String ein @@ enthaelt,
// ansonsten koennen wir den ohne Fehler returnieren.
if (stringp(str) && strstr(str, "@@") == -1)
return str;