basic.o: basic.c
ct.o: ct.c

# DO NOT DELETE THIS LINE -- make depend depends on it.

basic.o: basic.h /usr/include/ctype.h /usr/include/standards.h general.h
basic.o: /usr/include/stdio.h /usr/include/stdlib.h cstring.h
basic.o: /usr/include/string.h bool.h system_constants.h misc.h ynm.h
basic.o: message.h /usr/include/stdarg.h LSLSymbol_type.h token.h
basic.o: LSLToken_type.h string2sym.h fileloc.h fileId.h llerror.h
basic.o: paramNode.h paramNodeList.h clabstract.h argNode.h argNodeList.h
basic.o: usymIdSet.h usymId.h usymtab.h cprim.h cprim.lh lctype.h ctbase.h
basic.o: enumNameList.h uentry.h typeUidSet.h typeUid.h sRefList.h
basic.o: sRef_type.h sRefSet.h ekind.h llbasic.h code.h source.h mapping.h
basic.o: sort.h Sort_type.h lclctypes.h abstract.h leaf.h leafList.h
basic.o: importNode.h importNodeList.h SortList.h LSLSymbolList.h
basic.o: LSLSymbolSet.h SortSet.h pairNode.h pairNodeList.h
basic.o: declaratorInvNode.h declaratorInvNodeList.h typeExpr.h
basic.o: declaratorNode.h declaratorNodeList.h arrayQualNode.h varNode.h
basic.o: varNodeList.h quantifierNode.h quantifierNodeList.h storeRefNode.h
basic.o: storeRefNodeList.h modifyNode.h letDeclNode.h letDeclNodeList.h
basic.o: programNode.h programNodeList.h literalNode.h lclPredicateNode.h
basic.o: exposedNode.h CTypesNode.h initDeclNode.h initDeclNodeList.h
basic.o: constDeclarationNode.h varDeclarationNode.h varDeclarationNodeList.h
basic.o: globalList.h claimNode.h fcnNode.h fcnNodeList.h iterNode.h
basic.o: abstBodyNode.h abstractNode.h structDeclNode.h structDeclNodeList.h
basic.o: taggedUnionNode.h typeNode.h structOrUnionNode.h enumSpecNode.h
basic.o: qual.h ctokens.h cgramtoks.h qualList.h lclTypeSpecNode.h
basic.o: typeNamePack.h typeNameNode.h typeNameNodeList.h opFormNode.h
basic.o: quantifiedTermNode.h signatureNode.h signatureNodeSet.h signNode.h
basic.o: nameNode.h LSLoperator.h LSLoperatorSet.h replaceNode.h
basic.o: replaceNodeList.h renamingNode.h traitRefNode.h traitRefNodeList.h
basic.o: exportNode.h privateNode.h interfaceNode.h interfaceNodeList.h
basic.o: termNode.h termNodeList.h stmtNode.h SortSetList.h LSLoperatorList.h
basic.o: symtable.h uentryList.h indxmap.h idDecl.h qtype.h varKinds.h
basic.o: paramList.h ctypeList.h fieldList.h context.h flag_codes.h
basic.o: coderegionList.h coderegion.h storeRef.h sRefSetStack.h aliasTable.h
basic.o: aliasStack.h macrocache.h fileTable.h hashTable.h messageLog.h
basic.o: boolStack.h lltok.h idDeclList.h udnodeList.h exprNode.h udnode.h
basic.o: globals.h
ct.o: lctype.h ctbase.h cprim.h cprim.lh enumNameList.h uentry.h typeUidSet.h
ct.o: usymIdSet.h usymId.h usymtab.h system_constants.h idDecl.h qtype.h
ct.o: qualList.h qual.h ctokens.h cgramtoks.h hashTable.h ctypeList.h
ct.o: fieldList.h uentryList.h indxmap.h typeUid.h sRefList.h sRef_type.h
ct.o: sRefSet.h ekind.h llbasic.h basic.h /usr/include/ctype.h
ct.o: /usr/include/standards.h general.h /usr/include/stdio.h
ct.o: /usr/include/stdlib.h cstring.h /usr/include/string.h bool.h misc.h
ct.o: ynm.h message.h /usr/include/stdarg.h LSLSymbol_type.h token.h
ct.o: LSLToken_type.h string2sym.h fileloc.h fileId.h llerror.h paramNode.h
ct.o: paramNodeList.h clabstract.h argNode.h argNodeList.h lltok.h
ct.o: idDeclList.h udnodeList.h exprNode.h storeRef.h varKinds.h paramList.h
ct.o: udnode.h context.h flag_codes.h coderegionList.h coderegion.h
ct.o: sRefSetStack.h aliasTable.h aliasStack.h macrocache.h fileTable.h
ct.o: messageLog.h boolStack.h globals.h code.h source.h mapping.h sort.h
ct.o: Sort_type.h lclctypes.h abstract.h leaf.h leafList.h importNode.h
ct.o: importNodeList.h SortList.h LSLSymbolList.h LSLSymbolSet.h SortSet.h
ct.o: pairNode.h pairNodeList.h declaratorInvNode.h declaratorInvNodeList.h
ct.o: typeExpr.h declaratorNode.h declaratorNodeList.h arrayQualNode.h
ct.o: varNode.h varNodeList.h quantifierNode.h quantifierNodeList.h
ct.o: storeRefNode.h storeRefNodeList.h modifyNode.h letDeclNode.h
ct.o: letDeclNodeList.h programNode.h programNodeList.h literalNode.h
ct.o: lclPredicateNode.h exposedNode.h CTypesNode.h initDeclNode.h
ct.o: initDeclNodeList.h constDeclarationNode.h varDeclarationNode.h
ct.o: varDeclarationNodeList.h globalList.h claimNode.h fcnNode.h
ct.o: fcnNodeList.h iterNode.h abstBodyNode.h abstractNode.h structDeclNode.h
ct.o: structDeclNodeList.h taggedUnionNode.h typeNode.h structOrUnionNode.h
ct.o: enumSpecNode.h lclTypeSpecNode.h typeNamePack.h typeNameNode.h
ct.o: typeNameNodeList.h opFormNode.h quantifiedTermNode.h signatureNode.h
ct.o: signatureNodeSet.h signNode.h nameNode.h LSLoperator.h LSLoperatorSet.h
ct.o: replaceNode.h replaceNodeList.h renamingNode.h traitRefNode.h
ct.o: traitRefNodeList.h exportNode.h privateNode.h interfaceNode.h
ct.o: interfaceNodeList.h termNode.h termNodeList.h stmtNode.h SortSetList.h
ct.o: LSLoperatorList.h symtable.h
