diff options
Diffstat (limited to 'theories/theories.itarget')
| -rw-r--r-- | theories/theories.itarget | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/theories.itarget b/theories/theories.itarget index 09aeac7531..44c6feee77 100644 --- a/theories/theories.itarget +++ b/theories/theories.itarget @@ -49,12 +49,12 @@ FSets/FMapList.vo FSets/FMapPositive.vo FSets/FMaps.vo FSets/FMapWeakList.vo +FSets/FSetCompat.vo FSets/FSetAVL.vo FSets/FSetBridge.vo FSets/FSetDecide.vo FSets/FSetEqProperties.vo FSets/FSetFacts.vo -FSets/FSetFullAVL.vo FSets/FSetInterface.vo FSets/FSetList.vo FSets/FSetProperties.vo |