removed dead code;
authorwenzelm
Sun Mar 09 17:07:45 2014 +0100 (2014-03-09)
changeset 560040364adabdc7b
parent 56003 eccac152ffb4
child 56005 4f4fc80b0613
removed dead code;
src/Pure/facts.ML
     1.1 --- a/src/Pure/facts.ML	Sun Mar 09 17:02:18 2014 +0100
     1.2 +++ b/src/Pure/facts.ML	Sun Mar 09 17:07:45 2014 +0100
     1.3 @@ -86,9 +86,6 @@
     1.4  fun pos_of_ref (Named ((_, pos), _)) = pos
     1.5    | pos_of_ref (Fact _) = Position.none;
     1.6  
     1.7 -fun name_pos_of_ref (Named (name_pos, _)) = name_pos
     1.8 -  | name_pos_of_ref (Fact _) = raise Fail "Illegal literal fact";
     1.9 -
    1.10  fun map_name_of_ref f (Named ((name, pos), is)) = Named ((f name, pos), is)
    1.11    | map_name_of_ref _ r = r;
    1.12