continue r14195

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@14200 3260e6d1-4efc-4170-b0a7-36055960796d

continue r14195
eca9c0b2 · Frédéric Tuong · 21ad7d5b · eca9c0b2
Commit eca9c0b2 authored 4 years ago by Frédéric Tuong
--- a/C11-FrontEnd/examples/C2.thy
+++ b/C11-FrontEnd/examples/C2.thy
@@ -115,7 +115,7 @@ val _ =
                           end)
                         (these (Symtab.lookup (Directive_include.get (#context env_tree))
                                               (String.concat
-                                                 (maps (fn C_Scan.Left s => [s] | _ => []) file))))
+                                                 (maps (fn C_Scan.Left (s, _) => [s] | _ => []) file))))
                         (env_lang, env_tree)
               in
                 case tok of