doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs
changeset 22751 1bfd75c1f232
parent 22188 a63889770d57
child 22798 e3962371f568
     1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs	Fri Apr 20 11:21:53 2007 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs	Fri Apr 20 13:11:47 2007 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  };
     1.5  
     1.6  heada :: (Codegen.Null a) => [a] -> a;
     1.7 -heada (y : xs) = y;
     1.8 +heada (x : xs) = x;
     1.9  heada [] = Codegen.nulla;
    1.10  
    1.11  null_option :: Maybe a;