From 2cdba5957cc36975f81f68f77def6ab33375d330 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 10 Dec 2014 15:02:25 +0100 Subject: [PATCH] gen_intf is only an internal module --- _oasis | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/_oasis b/_oasis index 7d9aba04..5dbd2c89 100644 --- a/_oasis +++ b/_oasis @@ -43,12 +43,13 @@ Flag "bench" Library "containers" Path: core - Modules: CCVector, CCDeque, CCGen, Gen_intf, CCSequence, CCFQueue, CCMultiMap, + Modules: CCVector, CCDeque, CCGen, CCSequence, CCFQueue, CCMultiMap, CCMultiSet, CCBV, CCPrint, CCPersistentHashtbl, CCError, CCHeap, CCList, CCOpt, CCPair, CCFun, CCHash, CCKList, CCInt, CCBool, CCFloat, CCArray, CCOrd, CCIO, CCRandom, CCKTree, CCTrie, CCString, CCHashtbl, CCFlatHashtbl, CCSexp, CCMap, CCCache + InternalModules: Gen_intf BuildDepends: bytes Library "containers_string"