]> andersk Git - splint.git/blame - src/Headers/llglobals.h
Added manual files
[splint.git] / src / Headers / llglobals.h
CommitLineData
885824d3 1/*
28bf4b0b 2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
885824d3 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.069563 seconds and 5 git commands to generate.