| changeset 21172 | eea3c9048c7a |
| parent 21147 | 737a94f047e3 |
| child 21452 | f825e0b4d566 |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/lookup.ML Sat Nov 04 19:25:38 2006 +0100 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/lookup.ML Sat Nov 04 19:25:39 2006 +0100 @@ -6,7 +6,7 @@ fun lookup ((k, v) :: xs) l = (if (k : string = l) then SOME v else lookup xs l) - | lookup [] la = NONE; + | lookup [] l = NONE; end; (*struct Codegen*)