diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-20 14:56:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-20 14:56:13 +0000 |
commit | 617883b14251d9e0d92eef7a04217ee75bee29c7 (patch) | |
tree | 80ff59d2a0dc5cc633122f93e7ec406f0c66d3d3 /etc | |
parent | e651c5a1151bdc0915aad8084954097517d5c1b4 (diff) |
Minor change for testing.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/isa/multiple/C.ML | 2 |
1 files changed, 1 insertions, 1 deletions
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; |