From 617883b14251d9e0d92eef7a04217ee75bee29c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Oct 1999 14:56:13 +0000
Subject: Minor change for testing.

---
 etc/isa/multiple/C.ML | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/isa/multiple/C.ML b/etc/isa/multiple/C.ML
index 05d50068..f144a610 100644
--- a/etc/isa/multiple/C.ML
+++ b/etc/isa/multiple/C.ML
@@ -1,3 +1,3 @@
 (* Scripting buffer for theory C *)
 
-val it = ();
\ No newline at end of file
+val c = 5;
-- 
cgit v1.2.3