diff options
| author | Christopher Pulte | 2016-12-09 15:02:47 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-12-09 15:02:47 +0000 |
| commit | 66f2498b28fe4a9be40c2b4093f64827a146f371 (patch) | |
| tree | 40cac4e1c024638f5ade988ba235b41c7d619b7a /src/gen_lib/prompt.lem | |
| parent | 1495ba7749f9678c36e5fe130948d425d2a345ff (diff) | |
sail changes for making lem embedding Isabelle-friendlier
Diffstat (limited to 'src/gen_lib/prompt.lem')
| -rw-r--r-- | src/gen_lib/prompt.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/prompt.lem b/src/gen_lib/prompt.lem index f770042c..72effa2f 100644 --- a/src/gen_lib/prompt.lem +++ b/src/gen_lib/prompt.lem @@ -15,7 +15,7 @@ let rec bind m f = match m with | Barrier descr o_s -> Barrier descr (let (o,opt) = o_s in (bind o f,opt)) | Footprint o_s -> Footprint (let (o,opt) = o_s in (bind o f,opt)) | Write_reg descr o_s -> Write_reg descr (let (o,opt) = o_s in (bind o f,opt)) - | Escape descr mo -> Escape descr mo + | Escape descr -> Escape descr | Fail descr -> Fail descr | Error descr -> Error descr | Internal descr o_s -> Internal descr (let (o,opt) = o_s in (bind o f ,opt)) |