]> andersk Git - splint.git/blame_incremental - src/Headers/llglobals.h
Tried to fix some problems with the configuration system.
[splint.git] / src / Headers / llglobals.h
... / ...
CommitLineData
1/*
2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3** See ../LICENSE for license information.
4**
5*/
6# ifndef LLGLOBALS_H
7# define LLGLOBALS_H
8
9# ifdef NOLCL
10# error "Bad include"
11# endif
12
13extern /*@only@*/ lsymbolSet g_currentImports;
14extern /*@only@*/ symtable g_symtab;
15
16# else
17# error "Multiple include"
18# endif
This page took 0.033154 seconds and 5 git commands to generate.