Minor fix
commit4d17f0d0f140b0421b09497eebb739aa3b34af21
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 26 Nov 2009 14:16:07 +0000 (26 14:16 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 26 Nov 2009 14:16:07 +0000 (26 14:16 +0000)
treef2c855f8afa79e38cf2c61c4f5b24b64270e143f
parent8f3591e1e6278c7cebcbcad9cfb772652723a62c
Minor fix

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