# HG changeset patch
# User wenzelm
# Date 1394381265 -3600
# Node ID 0364adabdc7b61a66210e91e08adcb41dad993bb
# Parent  eccac152ffb44987b951d223574e20ead9f583aa
removed dead code;

diff -r eccac152ffb4 -r 0364adabdc7b src/Pure/facts.ML
--- a/src/Pure/facts.ML	Sun Mar 09 17:02:18 2014 +0100
+++ b/src/Pure/facts.ML	Sun Mar 09 17:07:45 2014 +0100
@@ -86,9 +86,6 @@
 fun pos_of_ref (Named ((_, pos), _)) = pos
   | pos_of_ref (Fact _) = Position.none;
 
-fun name_pos_of_ref (Named (name_pos, _)) = name_pos
-  | name_pos_of_ref (Fact _) = raise Fail "Illegal literal fact";
-
 fun map_name_of_ref f (Named ((name, pos), is)) = Named ((f name, pos), is)
   | map_name_of_ref _ r = r;