diff --git a/.gdbinit b/gdbinit_klee
similarity index 100%
rename from .gdbinit
rename to gdbinit_klee