# HG changeset patch
# User atton
# Date 1447557600 -32400
# Node ID 984f31ae74d57c2ac89a954a3dabab7495c1cb63
# Parent  6e385ccc40bf0142ad2b8742de75299f26a8a7d6
Fix student identifier

diff -r 6e385ccc40bf -r 984f31ae74d5 ie-virsh.c
--- a/ie-virsh.c	Sun Nov 15 12:18:35 2015 +0900
+++ b/ie-virsh.c	Sun Nov 15 12:20:00 2015 +0900
@@ -27,7 +27,7 @@
 
 const char *guests[] = {};
 const char *managers[] = {"atton"};
-const char *students_identifier = "students";
+const char *students_identifier = "student";
 const char *teachers_identifier = "teacher";
 const char *students_sym        = "students";
 const char *teachers_sym        = "teachers";