# HG changeset patch
# User haftmann
# Date 1517254697 0
# Node ID a585c5b53576a4f6ad57808c89887de71b654e32
# Parent  5d04d7bcd5f66b9e4bc3e09a64f768cf5e802c99
irrelevant reference to doubtful theory Code_Char

diff -r 5d04d7bcd5f6 -r a585c5b53576 src/Doc/Codegen/Computations.thy
--- a/src/Doc/Codegen/Computations.thy	Sun Jan 28 16:38:48 2018 +0000
+++ b/src/Doc/Codegen/Computations.thy	Mon Jan 29 19:38:17 2018 +0000
@@ -1,7 +1,6 @@
 theory Computations
   imports Codegen_Basics.Setup
     "HOL-Library.Code_Target_Int"
-    "HOL-Library.Code_Char"
 begin
 
 section \<open>Computations \label{sec:computations}\<close>