Final-final formatting tweak

nspark · Feb 6, 2020 · 9c9dbb0 · 9c9dbb0
1 parent 50d376e
commit 9c9dbb0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/utils/defs.tex b/utils/defs.tex
@@ -234,6 +234,7 @@
     int8_t, int16_t, int32_t, int64_t,
     uint8_t, uint16_t, uint32_t, uint64_t,
     shmem_ctx_t, shmem_team_t, shmem_team_config_t,
+    FILE,
   },
   keywordstyle=\color{OliveGreen},
   % Other elements