diff include/types.h @ 1446:36f7d1debb37

Each context gets its own non-repeating sequence of source numbers
author Adam Chlipala <adam@chlipala.net>
date Sat, 09 Apr 2011 14:36:47 -0400
parents 4a6f84092399
children 2f5fd248588d
line wrap: on
line diff
--- a/include/types.h	Mon Mar 28 10:37:49 2011 -0400
+++ b/include/types.h	Sat Apr 09 14:36:47 2011 -0400
@@ -35,6 +35,11 @@
   unsigned cli, chn;
 } uw_Basis_channel;
 
+typedef struct {
+  int context;
+  unsigned long long source;
+} uw_Basis_source;
+
 typedef struct uw_Basis_file {
   uw_Basis_string name, type;
   uw_Basis_blob data;