{
    "version": "0.2",
    "ignorePaths": [],
    "dictionaryDefinitions": [],
    "dictionaries": [],
    "words": [
        "autoepistemic",
        "circunspection",
        "fixpoint",
        "nonmonotonic",
        "struct",
        "testset"
    ],
    "ignoreWords": [],
    "import": [],
    "enabled": true,
    "enableFiletypes": [
        "latex"
    ]
}