diff --git a/src/abstract/Lexicon.gf b/src/abstract/Lexicon.gf
index 2c2a97c0f..37c0cfe8b 100644
--- a/src/abstract/Lexicon.gf
+++ b/src/abstract/Lexicon.gf
@@ -79,7 +79,6 @@ fun
   door_N : N ;
   do_V2 : V2 ;
   drink_V2 : V2 ;
-  drink_V2 : V2 ;
   dry_A : A ;
   dull_A : A ;
   dust_N : N ;
@@ -87,7 +86,6 @@ fun
   earth_N : N ;
   easy_A2V : A2 ;
   eat_V2 : V2 ;
-  eat_V2 : V2 ;
   egg_N : N ;
   empty_A : A ;
   enemy_N : N ;
@@ -140,7 +138,6 @@ fun
   head_N : N ;
   heart_N : N ;
   hear_V2 : V2 ;
-  hear_V2 : V2 ;
   heavy_A : A ;
   hill_N : N ;
   hit_V2 : V2 ;
@@ -255,7 +252,6 @@ fun
   seed_N : N ;
   seek_V2 : V2 ;
   see_V2 : V2 ;
-  see_V2 : V2 ;
   sell_V3 : V3 ;
   send_V3 : V3 ;
   sew_V : V ;
diff --git a/src/bulgarian/MorphoFunsBul.gf b/src/bulgarian/MorphoFunsBul.gf
index a553e932a..fa7204003 100644
--- a/src/bulgarian/MorphoFunsBul.gf
+++ b/src/bulgarian/MorphoFunsBul.gf
@@ -125,16 +125,9 @@ oper
   
   mkVA : V -> VA ;
   mkVA  v = v ** {lock_VA = <>} ;
-
-  mkV2A : V -> Prep -> V2A ;
-  mkV2A v p = prepV2 v p ** {lock_V2A = <>} ;
   
   mkVQ  : V -> VQ ;
   mkVQ  v = v ** {lock_VQ = <>} ;
-  
-  mkV2Q : V -> Prep -> V2Q ;  
-  mkV2Q v p = prepV2 v p ** {lock_V2Q = <>} ;
-
 
 --2 Nouns
 
diff --git a/src/catalan/IrregCatAbs.gf b/src/catalan/IrregCatAbs.gf
index d5aa65fc6..a85f1c653 100644
--- a/src/catalan/IrregCatAbs.gf
+++ b/src/catalan/IrregCatAbs.gf
@@ -1087,8 +1087,6 @@ abstract IrregCatAbs = Cat ** {
 --  fun zaherir_V  : V ; 
 --  fun zambullir_V  : V ; 
 --  fun zurcir_V  : V ; 
-fun haver_V  : V ; 
-fun estar_V  : V ;
 fun callar_V  : V ;
 fun caure_V  : V ;
 fun cloure_V  : V ;
diff --git a/src/prelude/Formal.gf b/src/prelude/Formal.gf
index 2aa33d9ef..c53c63b7f 100644
--- a/src/prelude/Formal.gf
+++ b/src/prelude/Formal.gf
@@ -3,7 +3,6 @@ resource Formal = open Prelude in {
 -- to replace the old library Precedence
 
   oper
-    Prec : PType ;
     TermPrec : Type = {s : Str ; p : Prec} ;
 
     mkPrec : Prec -> Str -> TermPrec = \p,s ->