1.1 --- a/test/Tools/isac/Interpret/inform.sml	Mon May 21 16:56:01 2012 +0200
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Tue May 22 07:00:53 2012 +0200
     1.3 @@ -1004,6 +1004,6 @@
     1.4  case some |> filter is_some |> map the of
     1.5    ("fill-d_d-arg",
     1.6    "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4)) =\nd_d x (x ^^^ 2) + cos (x ^^^ 4) * d_d x ?_dummy_1")
     1.7 -    :: _ => ()
     1.8 +   :: _ => ()
     1.9  | _ => error "get_fillpats changed"
    1.10