From 67e0cc01492d7b5be16fa6f8621760818c043844 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 18:18:46 +0000
Subject: Trivial changes

---
 etc/isa/multiple/B.ML | 4 ++--
 etc/isa/multiple/C.ML | 1 +
 2 files changed, 3 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;
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;
-- 
cgit v1.2.3