install
This commit is contained in:
parent
197a943cd3
commit
4117333f60
@ -124,7 +124,6 @@ INTERFACE_HEADERS = \
|
||||
include/clause_list.h \
|
||||
include/dswiatoms.h \
|
||||
include/udi.h \
|
||||
include/yap_structs.h \
|
||||
include/YapDefs.h \
|
||||
include/YapError.h \
|
||||
include/YapInterface.h \
|
||||
|
Reference in New Issue
Block a user