diff options
Diffstat (limited to 'etc/isa/multiple/B.ML')
-rw-r--r-- | etc/isa/multiple/B.ML | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/isa/multiple/B.ML b/etc/isa/multiple/B.ML index cbf6322f..e0226516 100644 --- a/etc/isa/multiple/B.ML +++ b/etc/isa/multiple/B.ML @@ -1,4 +1,4 @@ (* Scripting buffer for theory B *) -val a = (); -val it = (); +val b = 0; +val b1 = 1; |