diff options
Diffstat (limited to 'src/include/open-axiom/sexpr')
| -rw-r--r-- | src/include/open-axiom/sexpr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/open-axiom/sexpr b/src/include/open-axiom/sexpr index 6920e436..8d8eea0b 100644 --- a/src/include/open-axiom/sexpr +++ b/src/include/open-axiom/sexpr @@ -1,3 +1,4 @@ +// -*- C++ -*- // Copyright (C) 2010-2014, Gabriel Dos Reis. // All rights reserved. // Written by Gabriel Dos Reis. |