Commit ed3a7d47 authored by Thorsten Wißmann's avatar Thorsten Wißmann
Browse files

Explicitly name all internal moduls

parent edf5c0ed
......@@ -64,10 +64,9 @@ Library libcool
GMLMIP-0.1/formulas/PML_formula.h,
GMLMIP-0.1/formulas/rational.h,
GMLMIP-0.1/satisfyingstack.h
InternalModules: CoAlgLogicUtils, CoAlgLogics
InternalModules: ALCFormula, ALCGraph, ALCMisc, CoAlgLogicUtils,
CoAlgLogics, HashConsing, MiscSolver, AltGenlex, Gmlmip,
Minisat
Modules: CoAlgMisc,
CoAlgFormula,
CoolUtils,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment