diff options
Diffstat (limited to 'etc/isa/multiple/C.ML')
-rw-r--r-- | etc/isa/multiple/C.ML | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/isa/multiple/C.ML b/etc/isa/multiple/C.ML index f144a610..4ad965a2 100644 --- a/etc/isa/multiple/C.ML +++ b/etc/isa/multiple/C.ML @@ -1,3 +1,4 @@ (* Scripting buffer for theory C *) +val c1 = 4; val c = 5; |