Minor fix
commitbc7568f593c9650aba5a8d90914e0c2f1cfddf21
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 26 Nov 2009 13:49:45 +0000 (26 13:49 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 26 Nov 2009 13:49:45 +0000 (26 13:49 +0000)
tree6b90a5a9910ce03d8acfc9e1f8ed23aacad98793
parentfd4736a44d8dc6b64e4ccd092e6d65c92818356d
Minor fix

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2834 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Texmacs/Texmacs/texmacs.cpp