Update indent-emp for removed typedef names, belatedly.

diff --git a/src/scripts/indent-emp b/src/scripts/indent-emp
index 6ee5573016fe306e6202b311fc56a09a6e3faff9..366e20c519aeb3cfbb35c6faed83a0c6072363d5 100755 (executable)
--- a/src/scripts/indent-emp
+++ b/src/scripts/indent-emp
@@ -2,7 +2,7 @@
 
 # indent needs to know type names do to a proper job.
 # Type names located with grep typedef, then extracted by hand:
-types="coord empth_sem_t empth_t i_packing i_type loc_Sem_t loc_Thread_t natid ns_seltype nsc_cat nsc_flags nsc_type packed_nsc_cat packed_nsc_type stkalign_t"
+types="coord empth_rwlock_t empth_t i_type"
 
 opts="-kr -cdw -cp8 -ncs -psl -ss"
 for t in $types