Have create_jbod() return a JbodPtr instead of Jbod* to avoid memleaks

[simgrid.git] / tools / internal / spell_dict.txt

diff --git a/tools/internal/spell_dict.txt b/tools/internal/spell_dict.txt
index 48cc959..86b7ac1 100644 (file)
--- a/tools/internal/spell_dict.txt
+++ b/tools/internal/spell_dict.txt
@@ -9,6 +9,8 @@ atof
 callgrind
 calloc
 cfg
+CMake
+cmake
 comm
 const
 cplusplus
@@ -36,10 +38,6 @@ https
 inlining
 ingroup
 int
-java
-Java
-JEDULE
-JNI
 kcachegrind
 KILLME
 lat
@@ -63,8 +61,9 @@ mmap
 ModelChecker
 modelchecker
 MPI
-msg
+MPICH
 mutex
+NetZone
 nullptr
 ok
 Paje
@@ -76,7 +75,6 @@ pstate
 pthread
 pthreads
 realloc
-RngStream
 SD
 simcall
 simcalls
@@ -89,10 +87,16 @@ sizeof
 SMPI
 smpi
 smx
+snprintf
 src
+StarPU
 std
+stdint
+stderr
+stdout
 strerror
 strlen
+strtok
 struct
 syscall
 syscalls
@@ -101,6 +105,7 @@ testany
 todo
 TODO
 valgrind
+vasprintf
 VM
 VMs
 waitany