Merge pull request #3764 from danpoe/fixes/enable-validation-of-symbol-table-read-from-json

Enable validation of symbol table read from JSON

Author: danpoe

src/json-symtab-language/json_symbol_table.cpp

@@ -49,4 +49,6 @@ void symbol_table_from_json(const jsont &in, symbol_tablet &symbol_table)
         "symbol_table_from_json: duplicate symbol name `" +
         id2string(symbol.name) + "`");
   }
+
+  symbol_table.validate(validation_modet::EXCEPTION);
 }